Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | New option --conf. | Bernhard Schommer | 2015-11-26 | 2 | -18/+31 |
| | | | | | The option --conf allows it to overwrite the compcert.ini file. Bug 17431. | ||||
* | Merge pull request #76 from fpottier/cut | Bernhard Schommer | 2015-11-24 | 2 | -2/+3 |
|\ | | | | | A fix in the column numbers. A change in one error message. | ||||
| * | For uniformity with other messages, added an "Ill-formed expression.". | François Pottier | 2015-11-24 | 1 | -0/+1 |
| | | |||||
| * | Use 1-based column numbers instead of 0-based. | François Pottier | 2015-11-24 | 1 | -2/+2 |
| | | | | | | | | This seems to agree with clang and with the emacs C mode. | ||||
* | | Merge branch 'master' of github.com:AbsInt/CompCert | Bernhard Schommer | 2015-11-24 | 2 | -630/+616 |
|\ \ | |||||
| * | | Merge pull request #74 from fpottier/cut | Bernhard Schommer | 2015-11-24 | 2 | -630/+616 |
| |\| | | | | | | | Fix a typo in a syntax error message. | ||||
| | * | Update of the auto-generated comments. | François Pottier | 2015-11-24 | 1 | -610/+611 |
| | | | |||||
| | * | A simplification in the grammar, leading to fewer states in the automaton | François Pottier | 2015-11-24 | 2 | -19/+4 |
| | | | | | | | | | | | | and merging two error states into one. There should be no observable change. | ||||
| | * | Fix a typo in a syntax error message. | François Pottier | 2015-11-23 | 1 | -1/+1 |
| |/ | |||||
* / | Separate assembler options for the diab backend. | Bernhard Schommer | 2015-11-20 | 1 | -1/+4 |
|/ | | | | | | The diab backend calls the assembler directly and does not call the compiler like for the gcc based backends. Fix 17668. | ||||
* | Added the compilation unit in the json export. Bug 17659. | Bernhard Schommer | 2015-11-19 | 1 | -4/+4 |
| | |||||
* | Added now option to control debug output. | Bernhard Schommer | 2015-11-16 | 3 | -20/+30 |
| | | | | | | | | | | | The new option gdepth subumes the gonly-globals. The option allows it to control the level of information that is produced. This option allows it to generate debugging inforation for: -Only globals -Global and local variables but without location information for the local variable -Full information Bug 17638. | ||||
* | Tentative fix for issue #70 (menhirLib recompilation problems) | Xavier Leroy | 2015-11-13 | 1 | -2/+2 |
| | | | | Don't pass $(MENHIR_INCLUDES) to ocamldep. | ||||
* | Issue #71: incorrect initialization of wchar_t arrays from wide string literal | Xavier Leroy | 2015-11-13 | 3 | -6/+35 |
| | | | | Regression test added in regression/initializers.c | ||||
* | Merge branch 'master' of ssh://github.com/AbsInt/CompCert | Xavier Leroy | 2015-11-13 | 14 | -2357/+1932 |
|\ | |||||
| * | Merge pull request #69 from jhjourdan/parser_fix | Bernhard Schommer | 2015-11-12 | 11 | -2353/+1926 |
| |\ | | | | | | | Parser : duplicate identifier tokens, fix K&R definition parsing | ||||
| | * | Typo, coherence in error messages | Jacques-Henri Jourdan | 2015-11-07 | 2 | -7/+8 |
| | | | |||||
| | * | Integrate a few comments of F. Pottier into the pre_parser and ↵ | Jacques-Henri Jourdan | 2015-11-07 | 3 | -141/+139 |
| | | | | | | | | | | | | handcrafted.messages | ||||
| | * | 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 |
| | |\ | |||||
| | * \ | Merge remote-tracking branch 'origin/master' into parser_fix | Jacques-Henri Jourdan | 2015-11-04 | 1 | -2/+0 |
| | |\ \ | |||||
| | * \ \ | Merge remote-tracking branch 'origin/master' into parser_fix | Jacques-Henri Jourdan | 2015-11-04 | 1 | -166/+183 |
| | |\ \ \ | |||||
| | * \ \ \ | Merge remote-tracking branch 'origin/master' into parser_fix | Jacques-Henri Jourdan | 2015-11-04 | 314 | -20824/+23064 |
| | |\ \ \ \ | |||||
| | * | | | | | Better handling of old-style K&R function declarations: | Jacques-Henri Jourdan | 2015-11-01 | 7 | -261/+345 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - Added a Cabs.PROTO_OLD constructor to Cabs.decl_type - Refactored the Parser.vy and pre_parser.mly grammars - Rewritten the conversion of old function definitions to new-style | ||||
| | * | | | | | other, simpler fix: the lexer emits 2 tokens for each identifier | Jacques-Henri Jourdan | 2015-10-08 | 4 | -257/+198 |
| | | | | | | | |||||
| * | | | | | | Merge pull request #68 from fpottier/cut | Bernhard Schommer | 2015-11-12 | 3 | -3/+3 |
| |\ \ \ \ \ \ | | | | | | | | | | | | | | | | | Fix in cparser/GNUmakefile. | ||||
| | * | | | | | | Change one line in [Lexer.mll] to obey API change in Menhir 20151110. | François Pottier | 2015-11-10 | 2 | -2/+2 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Update configure to require Menhir 20151110. | ||||
| | * | | | | | | Fix in cparser/GNUmakefile. | François Pottier | 2015-11-06 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Remove "&" which was a typo and did not make sense. Use "command -v" instead of "which" (more efficient). Use "=" instead of ":=" (more efficient). | ||||
| * | | | | | | | Do not enforce locations for function parameters. | Bernhard Schommer | 2015-11-10 | 1 | -1/+3 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In the case of struct function parameters it is not always guaranteed that they are still there and not translated into plain integer arguments. Bug 17609. | ||||
* | | | | | | | | Harden Driver.command against EINTR errors | Xavier Leroy | 2015-11-10 | 1 | -1/+5 |
|/ / / / / / / | | | | | | | | | | | | | | | | | | | | | | Sometimes, Unix.waitpid returns early with a EINTR error code, e.g. if a signal was handled. (Observed while running ccomp under the lldb debugger in MacOS X). Just restart Unix.waitpid in this case. | ||||
* | | | | | | | Handle large static initializers for global arrays | Xavier Leroy | 2015-11-09 | 8 | -123/+210 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | Use tail-recursive operations to implement transformations on initializers for global arrays. This way, very large static initializers no longer cause stack overflows at compile-time. | ||||
* | | | | | | | bug 17544, use json-printer function for mfcr instruction | Michael Schmidt | 2015-11-09 | 1 | -3/+2 |
| |_|_|_|_|/ |/| | | | | | |||||
* | | | | | | 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 |
| |_|_|/ |/| | | | |||||
* | | | | Removed unused p_char_list function. Bug 17544. | Bernhard Schommer | 2015-11-03 | 1 | -2/+0 |
| |_|/ |/| | | |||||
* | | | 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. | ||||
* | | 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 |
|\ \ |