aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Frontend.ml
Commit message (Collapse)AuthorAgeFilesLines
* Typo in -iquote preprocessing option (#239)Frédéric Besson2018-06-201-1/+1
| | | The `-iquote` option was passed to the GNU preprocessor as `-iquore`
* Define C11 conditional feature macros (#77)Bernhard Schommer2018-04-061-1/+10
| | | | | | | | These macros can be defined to indicate that variable length arrays, the _Complex type, atomics and threads are not supported. Since the _Complex type is not supported, we also need to undefine __STDC_IEC_559_COMPLEX__ Bug 23408
* Move struct passing/return style to Machine.Bernhard Schommer2018-02-161-1/+5
| | | | | | Since the used configuration for passing and returning values struct values is pretty much static it can be hardwired into the machine settings.
* Refactor the handling of errors and warnings (#44)Bernhard Schommer2018-02-081-12/+3
| | | | | | | | | | | | | | | | | * 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.
* Move machine initialization to Frontend.init function. (#49)Bernhard Schommer2018-01-111-0/+25
| | | | | The initialization of Machine.config, as well as the calls to various initialization functions for the C front-end, are now performed by the new `Frontend.init` function. This avoids code duplication in driver/Driver.ml and exportclight/Clightgen.ml.
* Handle dcompcertc and dparsedc like all dump opts.Bernhard Schommer2018-01-041-12/+2
| | | | | This time with the correct place for setting the destination files. Bug 20521
* Introduced configuration variable for gnu systems.Bernhard Schommer2017-02-131-2/+2
| | | | | | | The variable gnu_toolchain is true if a gnu toolchain is used and false in all other cases. The variable avoids the explicit test whether the system string is diab and should be easier to change. Bug 20521.
* Use quoted strings.Bernhard Schommer2017-01-181-32/+34
| | | | | | Instead of escaping all newlines etc for the help options use quoted strings. Bug 19872
* Moved assembler and linker into own files.Bernhard Schommer2016-06-241-2/+2
| | | | | | The function to call the assembler and the linker are now in own files like the preprocessor. Bug 19197
* Deactivate options target dependend.Bernhard Schommer2016-06-241-48/+49
| | | | | | Options only available for gnu systems or arm target arch are no longer displayed in the help and cannot be selected any longer. Bug 19197
* Moved shared frontend code in own file.Bernhard Schommer2016-05-241-0/+163
Clightgen and CompCert share the code for preprocessing as well as parsing C files. The code as well as command line switches is moved in the new module Frontend. Bug 18768
generated by cgit (git 2.34.1) at 2024-07-01 16:32:47 +0000