aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Cerrors.ml
Commit message (Collapse)AuthorAgeFilesLines
* Extended unused vars check for params.Bernhard Schommer2017-02-171-1/+5
| | | | | | The test now also checks whether the parameter are used at all in the function body. Bug 19872
* Added a simple check for unused variables.Bernhard Schommer2017-02-171-0/+5
| | | | | | | | | | | | | | | | | The check test whether the identifier is used at all in the function and if not issue a warning. It is not tested whether the usage is reachable at all, so int i; if (0) i; would not generate a warning. This is the same as gcc/clang does. The warning is disabled per default, but is active if -Wall is given. Bug 19872
* Added support for different diagnostic formats.Bernhard Schommer2017-01-301-2/+25
| | | | | | | | | The new option -fdiagnostics-format allows it to switch between the three different format version: -ccomp (default) with file:line: -vi with file+line: -msvc with file(line): Bug 19872
* Switch case for error option. Bug 19872Bernhard Schommer2017-01-301-2/+2
|
* Added -f(no-)diagnostics-show-option.Bernhard Schommer2017-01-271-6/+20
| | | | | | Controls whether the [-Woption] is printed in the diagnostic message for mappable warnings/errors. Bug 19872
* Added option -fmax-errors.Bernhard Schommer2017-01-261-3/+14
| | | | | | | The option -fmax-errors limits the number of errors that are reported before the compilation is aborted. The default 0 means no limit. Bug 19872
* Added -w to disable all options. Bug 19872Bernhard Schommer2017-01-261-1/+6
|
* Improve wording of normal backtrace case Bug 19872Bernhard Schommer2017-01-191-1/+3
|
* Use quoted strings.Bernhard Schommer2017-01-181-11/+12
| | | | | | Instead of escaping all newlines etc for the help options use quoted strings. Bug 19872
* More comments and improvements for unknown loc.Bernhard Schommer2017-01-181-1/+26
| | | | | | More functions are now documented. Furthermore compcert now prints "ccomp:" instead of nothing for unknown locations. Bug 19872
* Remove duplaceted relese. Bug 20681Bernhard Schommer2017-01-171-1/+1
|
* Added missing whitespace. Bug 19872Bernhard Schommer2017-01-171-1/+1
|
* Safe the backtrace earlier. Bug 20681Bernhard Schommer2017-01-171-12/+13
|
* Added backtrace handler.Bernhard Schommer2017-01-171-0/+16
| | | | | | | | If CompCert crashes because of an uncaught exception the exception is caught toplevel and the backtrace is printed plus an additional message to include the backtrace in a support request, if buildnr and tag are available. Bug 20681.
* Added warning for inline asm in sdump. Bug 20593Bernhard Schommer2016-12-141-0/+6
|
* Use -Wno- instead of -Wno to deactivate warnings.Bernhard Schommer2016-12-061-1/+1
|
* Warning for decls without name in composites.Bernhard Schommer2016-11-221-5/+5
| | | | | | The warning missing declarations is now also triggered for declarations without name in field lists of composite types if the declaration is not an anonymous composite or a bitfield member.
* Remove unnecessary usage of isatty.Bernhard Schommer2016-10-181-1/+1
|
* Catch errors from Unix for isatty.Bernhard Schommer2016-10-181-1/+4
| | | | | | There is a bug in the fstat implementation in ocaml 4.03 under windows. In order to prevent this we guard the isatty function with an additional try with.
* mention -Wall in help textMichael Schmidt2016-09-221-0/+1
|
* Added compcert-conformance to wall. Bug 19872Bernhard Schommer2016-09-221-0/+2
|
* Renamed pedantic to implicit-int.Bernhard Schommer2016-09-221-5/+6
| | | | | | | | The only case where compcert raise a pedantic warning was for implicit int parameters. This is the behavior of clang. However since not all other pedantic warnings are supported the behavior of gcc is adopted. Bug 19872.
* Fix typo in option name. Bug 18004Bernhard Schommer2016-09-211-1/+1
|
* Make unnamed default + correct empty struct warning. Bug 18004Bernhard Schommer2016-09-211-0/+1
|
* Remove the duplicated :. Bug 18004Bernhard Schommer2016-09-211-3/+3
|
* Added conformance warning.Bernhard Schommer2016-08-311-0/+2
| | | | | | This warning should be triggered if a feature is used that is not part of the code CompCert C language. Bug 18004
* Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-291-2/+6
|\
| * Fixed typo. Bug 19504Bernhard Schommer2016-08-081-1/+1
| |
| * Added error check before transformations.Bernhard Schommer2016-08-081-2/+4
| | | | | | | | | | | | Added a check for errors after the elab phases to avoid problems in the transformations due to broken input programs. Bug 19504
* | Additional test for color output.Bernhard Schommer2016-08-051-19/+16
| | | | | | | | | | | | Color output is only enabled if stderr is a tty, and the environment variable TERM is not empty or dumb. Bug 18004
* | Classified all warnings and added various options.Bernhard Schommer2016-07-291-13/+249
|/ | | | | | | | | | Now each warning either has a name and can be turned on/off, made into an error,etc. or is a warning that always will be triggered. The message of the warnings are similar to the ones emited by gcc/clang and all fit into one line. Furthermore the diagnostics are now colored if colored output is available. Bug 18004
* Added [Cerrors.fatal_error_raw].François Pottier2015-10-231-0/+12
|
* Integration of Jacques-Henri Jourdan's verified parser.xleroy2014-04-291-0/+3
| | | | | | | (Merge of branch newparser.) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
* Catch and report Env errors arising out of some Cutil functionsxleroy2013-12-301-1/+1
| | | | | | | (incomplete_type, sizeof, etc). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2393 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
* checklink: first import of Valentin Robert's validator for asm and linkxleroy2012-03-281-0/+55
cparser: renamed Errors to Cerrors; removed packing into Cparser. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1856 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
generated by cgit (git 2.34.1) at 2024-07-01 06:35:35 +0000