aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Cerrors.mli
Commit message (Collapse)AuthorAgeFilesLines
* Extended unused vars check for params.Bernhard Schommer2017-02-171-0/+1
| | | | | | 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/+1
| | | | | | | | | | | | | | | | | 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
* More comments and improvements for unknown loc.Bernhard Schommer2017-01-181-0/+1
| | | | | | More functions are now documented. Furthermore compcert now prints "ccomp:" instead of nothing for unknown locations. Bug 19872
* Added backtrace handler.Bernhard Schommer2017-01-171-0/+3
| | | | | | | | 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/+1
|
* Renamed pedantic to implicit-int.Bernhard Schommer2016-09-221-2/+2
| | | | | | | | 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.
* Added conformance warning.Bernhard Schommer2016-08-311-0/+1
| | | | | | 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-0/+2
|\
| * Added error check before transformations.Bernhard Schommer2016-08-081-0/+1
| | | | | | | | | | | | 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-20/+43
| | | | | | | | | | | | 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-4/+27
|/ | | | | | | | | | 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/+1
|
* Integration of Jacques-Henri Jourdan's verified parser.xleroy2014-04-291-0/+1
| | | | | | | (Merge of branch newparser.) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
* checklink: first import of Valentin Robert's validator for asm and linkxleroy2012-03-281-0/+22
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 05:25:20 +0000