compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Expand the responsefiles earlier	Bernhard Schommer	2019-05-10	1	-7/+7
\| \| \| \| \| \| \| \| \|	* Move the expansion of response files to module Commandline, during the initialization of `Commandline.argv`. This way we're sure it's done exactly once. * Make `Commandline.argv` a `string array` instead of a `string array ref`. We no longer need to update it after initialization! * Improve reporting of errors during expansion of response files.
*	Various improvements in the wording of diagnostics.	Michael Schmidt	2018-08-02	1	-6/+6
\| \| \| \| \| \|	Fix various typos in diagnostic messages and unified wording and capitalization. Bug 23850
*	Refactor the handling of errors and warnings (#44)	Bernhard Schommer	2018-02-08	1	-10/+15
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* Module Cerrors is now called Diagnostic and can be used in parts of CompCert other than cparser/ * Replaced eprintf error. Instead of having eprintf msg; exit 2 use the functions from the Diagnostics module. * Raise on error before calling external tools. * Added diagnostics to clightgen. * Fix error handling of AsmToJson. * Cleanup error handling of Elab and C2C. *The implementation of location printing (file & line) is simplified and correctly prints valid filenames with invalid lines.
*	Added a little bit more compilation info to sdump.	Bernhard Schommer	2017-06-26	1	-2/+4
\| \| \| \| \| \|	The additional compilation information contains the file, command line (after @-file expansion) and the current working directory. Bug 21690
*	Added option -fmax-errors.	Bernhard Schommer	2017-01-26	1	-0/+17
\| \| \| \| \| \| \|	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
*	Ignore also ignores the argunment. Bug 18004	Bernhard Schommer	2016-09-20	1	-1/+6
\|
*	Merge branch 'master' into advanced-diagnostics	Bernhard Schommer	2016-08-29	1	-1/+7
\|\
\| *	Moved quoting functions in Responsefile	Bernhard Schommer	2016-08-16	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \|	Also corrected some typos and corrected exception handling for expandargv. Bug 18308
\| *	Added simplified reader and printer for gnu @files	Bernhard Schommer	2016-07-20	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The functions expandargv and writeargv resemble the functions from the libiberity that are used by the gnu tools. Additionaly a new configuration is added in order to determine which kind of response files are supported for calls to other tools. Bug 18308
\| *	Added responsefile support for commandline.	Bernhard Schommer	2016-07-08	1	-1/+7
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Commandline can now be passed in a file specifed with @file on the Commandline. The quoting convention is similar to the one used by gcc, etc. Options are separated by whitespaces and options with whitespaecs need to be quoted. Bug 18303
* \|	Additional test for color output.	Bernhard Schommer	2016-08-05	1	-0/+4
\|/ \| \| \| \| \|	Color output is only enabled if stderr is a tty, and the environment variable TERM is not empty or dumb. Bug 18004
*	PR#16: give option rules precedence over file pattern rules.	Xavier Leroy	2015-01-03	1	-7/+4
\| \| \| \| \| \|	Plus: simplify handling of -help and --help. Plus: error on unrecognized "-xxx" options so that "-foo.c" is not treated as a source file.
*	Revised parsing of command-line arguments (in preparation for adding more).	Xavier Leroy	2014-11-16	1	-0/+105
	Honor "ccomp -E foo.h" for GCC compatibility. Accept .o.ext files as object files for GCC compatibility. Fixed and improved handling of Cminor source files.