Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Updating deLexer to PRE_NAME tokens | Jacques-Henri Jourdan | 2015-11-07 | 1 | -0/+3 |
| | |||||
* | Merge remote-tracking branch 'origin/master' into parser_fix | Jacques-Henri Jourdan | 2015-11-07 | 15 | -30/+65 |
|\ | |||||
| * | Fix for switch was to eager. | Bernhard Schommer | 2015-11-06 | 1 | -6/+8 |
| | | | | | | | | | | | | We should not remove any debug stmt inside of the cases. We should just not warn in the case that init is only debugcalls. Bug 17850 | ||||
| * | Remove debug stmts during grouping of switch. | Bernhard Schommer | 2015-11-06 | 3 | -7/+19 |
| | | | | | | | | | | | | | | Debug statements introduced during the translation result in warnings when they are introduced at the head of the switch. Since they are not used and the warning is not necessary we can remove them before. Fix 17580. | ||||
| * | Added printing functions for debug annotations. | Bernhard Schommer | 2015-11-06 | 1 | -0/+3 |
| | | | | | | | | | | | | Instead of printing <unknown builtin> we now print the debug annotations. Fix 17581. | ||||
| * | Merge branch 'master' of ↵ | Michael Schmidt | 2015-11-06 | 1 | -2/+2 |
| |\ | | | | | | | | | | git+ssh://ssh.absint.com/common/repositories/git/tools/compcert | ||||
| | * | Do not print parameter names in function types. | Bernhard Schommer | 2015-11-06 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | | | | | | For function types used by function pointers we do not need to print the name of the paraments. Also switch the logic in case of prototyped/unprototyped. Fix 17579. | ||||
| * | | bug 17567, typos | Michael Schmidt | 2015-11-06 | 4 | -11/+11 |
| |/ | |||||
| * | Merge pull request #67 from fpottier/compress | Bernhard Schommer | 2015-11-05 | 1 | -1/+9 |
| |\ | | | | | | | When printing a fragment of source text as part of an error message, … | ||||
| | * | When printing a fragment of source text as part of an error message, ↵ | François Pottier | 2015-11-03 | 1 | -1/+9 |
| | | | | | | | | | | | | | | | | | | | | | compress multiple whitespace characters into just one space character. This is done before the call to [sanitize], which replaces special characters with a dot. This produces more a readable result when the error spans multiple lines. | ||||
| * | | New option to control the debug information build. | Bernhard Schommer | 2015-11-04 | 4 | -5/+15 |
| | | | | | | | | | | | | | | | | | | The new option -gonly-global allows the generation of debuging information for global variables only. Bug 17566. | ||||
| * | | bug 17567, typos | Michael Schmidt | 2015-11-04 | 1 | -3/+3 |
| | | | |||||
| * | | bug 17567, typos | Michael Schmidt | 2015-11-04 | 2 | -2/+2 |
| | | | |||||
* | | | Merge remote-tracking branch 'origin/master' into parser_fix | Jacques-Henri Jourdan | 2015-11-04 | 1 | -2/+0 |
|\| | | |||||
| * | | Removed unused p_char_list function. Bug 17544. | Bernhard Schommer | 2015-11-03 | 1 | -2/+0 |
| | | | |||||
* | | | Merge remote-tracking branch 'origin/master' into parser_fix | Jacques-Henri Jourdan | 2015-11-04 | 1 | -166/+183 |
|\| | | |||||
| * | | Changed the name of a few ppc instructions. Bug 17544 | Bernhard Schommer | 2015-11-03 | 1 | -3/+3 |
| | | | |||||
| * | | Simplify the Json export. | Bernhard Schommer | 2015-11-03 | 1 | -166/+183 |
| |/ | | | | | | | | | | | Instead of having a function for each instruction we now use a generic function to print the arguments. Bug 17544. | ||||
* | | Merge remote-tracking branch 'origin/master' into parser_fix | Jacques-Henri Jourdan | 2015-11-04 | 314 | -20824/+23064 |
|\| | |||||
| * | Few simple rewrite for the AsmToJSON printer. | Bernhard Schommer | 2015-10-29 | 1 | -155/+147 |
| | | | | | | | | | | | | In a first step all the print commands for the names are replaced by a more safe variant that avoids missing \". Bug 17328 | ||||
| * | Another typo in AsmToJson. | Bernhard Schommer | 2015-10-29 | 1 | -1/+1 |
| | | | | | | | | Bug 17473 | ||||
| * | Fixed some minor types in the asm printer. | Bernhard Schommer | 2015-10-29 | 1 | -1/+1 |
| | | | | | | | | Bug 17473 | ||||
| * | Merge branch 'master' of github.com:AbsInt/CompCert | Bernhard Schommer | 2015-10-28 | 2 | -17/+17 |
| |\ | |||||
| | * | Merge pull request #62 from fpottier/comment | Bernhard Schommer | 2015-10-28 | 2 | -17/+17 |
| | |\ | | | | | | | | | Fixed some comments. | ||||
| | | * | Set [ErrorReports.debug] to [false]. | François Pottier | 2015-10-28 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | When [debug] is [false], there are a few places where we silently ignore an error. This should not make any difference if everything works as planned. | ||||
| | | * | Fixed some comments. | François Pottier | 2015-10-28 | 1 | -16/+16 |
| | |/ | |||||
| * | | Use ifndef correct. Bug 17481 | Bernhard Schommer | 2015-10-27 | 1 | -1/+1 |
| | | | |||||
| * | | Test if menhir includes is set before trying to set it. | Bernhard Schommer | 2015-10-27 | 1 | -1/+5 |
| | | | | | | | | | | | | Bug 17481. | ||||
| * | | Allow the MENHIR_INCLUDE path to be set by environment. | Bernhard Schommer | 2015-10-27 | 1 | -4/+3 |
| |/ | | | | | | | Bug 17481 | ||||
| * | Fixed typo in AsmToJson. | Bernhard Schommer | 2015-10-26 | 1 | -1/+1 |
| | | | | | | | | Bug 17473. | ||||
| * | Merge pull request #61 from fpottier/clean | Bernhard Schommer | 2015-10-26 | 1 | -5/+1 |
| |\ | | | | | | | Fixed one error message and removed two comments. | ||||
| | * | Fixed one error message and removed two comments. | François Pottier | 2015-10-26 | 1 | -5/+1 |
| | | | |||||
| * | | Also redirect the output of stderr. | Bernhard Schommer | 2015-10-26 | 1 | -2/+1 |
| | | | | | | | | | | | | Bug 17481. | ||||
| * | | Merge branch 'fpottier-clean' | Bernhard Schommer | 2015-10-26 | 26 | -126/+6195 |
| |\ \ | |||||
| | * | | Merge branch 'clean' of git://github.com/fpottier/CompCert into fpottier-clean | Bernhard Schommer | 2015-10-26 | 26 | -126/+6195 |
| |/| | | | |/ | |||||
| | * | Merge branch 'clean' of github.com:fpottier/CompCert into clean | François Pottier | 2015-10-23 | 0 | -0/+0 |
| | |\ | |||||
| | | * | Merge remote branch 'upstream/master' into clean | François Pottier | 2015-10-23 | 289 | -20497/+17037 |
| | | |\ | | | | | | | | | | | | | | | | | | | | | Conflicts: Makefile.extr | ||||
| | * | \ | Merge remote branch 'upstream/master' into clean | François Pottier | 2015-10-23 | 289 | -20497/+17037 |
| | |\ \ \ | | | |/ / | | |/| / | | | |/ | | | | | Conflicts: Makefile.extr | ||||
| | * | | Updated [configure] to require today's Menhir. | François Pottier | 2015-10-23 | 1 | -3/+4 |
| | | | | |||||
| | * | | Added copyright banners to the new files. | François Pottier | 2015-10-23 | 8 | -0/+94 |
| | | | | |||||
| | * | | Added a few cleanup commands in [make clean]. | François Pottier | 2015-10-23 | 2 | -2/+3 |
| | | | | |||||
| | * | | Added some handwritten .c files in tests/handwritten/. | François Pottier | 2015-10-23 | 11 | -0/+59 |
| | | | | |||||
| | * | | Install the new system for reporting syntax errors. | François Pottier | 2015-10-23 | 9 | -8/+5791 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This requires the development version of Menhir, to be released soon. In summary: handcrafted.messages is new. It contains a mapping of erroneous sentences to error messages, together with a lot of comments. Makefile.extr is new. It contains a rule to generate cparser/pre_parser_messages.ml based on this mapping. cparser/ErrorReports.{ml,mli} are new. They construct syntax error messages, based on the compiled mapping. cparser/Lexer.mll is modified. The last two tokens that have been read are stored in a buffer. ErrorReports is called to construct a syntax error message. cparser/GNUmakefile is new. It offers several commands for working on the pre-parser. cparser/deLexer.ml is new. It is a script (it is not linked into CompCert). It translates the symbolic name of a token to an example of this token in concrete C syntax. It is used by [make -C cparser concrete] to produce the .c files in tests/generated/. cparser/tests/generated/Makefile is new. It runs ccomp, clang and gcc on each of the generated C files, so as to allow a comparison of the error messages. | ||||
| | * | | Lexer update: use Menhir's incremental API instead of Menhir's traditional API. | François Pottier | 2015-10-23 | 1 | -3/+16 |
| | | | | | | | | | | | | | | | | | | | | This means that CompCert must now be compiled in --table mode. At this point, the error message for a syntax error is still just "syntax error". | ||||
| | * | | Lexer cleanup: isolate [lexer_wraper] and rename it to [lexer]. | François Pottier | 2015-10-23 | 1 | -6/+10 |
| | | | | |||||
| | * | | Lexer cleanup: isolate the entry point into the lexer. | François Pottier | 2015-10-23 | 1 | -6/+10 |
| | | | | |||||
| | * | | Added an %on_error_reduce declaration. | François Pottier | 2015-10-23 | 1 | -0/+42 |
| | | | | | | | | | | | | | | | | | | | | This affects in which states errors are detected, but does not change the language that is accepted. | ||||
| | * | | Changed [asm_flags] to a left-recursive list. | François Pottier | 2015-10-23 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | This allows us to give a better error message in one state. | ||||
| | * | | Removed the two uses of $syntaxerror in a semantic action. | François Pottier | 2015-10-23 | 1 | -2/+7 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | For the first one, this is fine; the error is caught by a type check later on. For the second one, it is temporary. More thought is needed about the syntax of K&R functions anyway, as Jacques-Henri and I discovered that it is currently broken (it mis-interprets some function definitions). | ||||
| | * | | Inlined [constant_expression] to save one state. | François Pottier | 2015-10-23 | 1 | -1/+1 |
| | | | |