aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Add a target option.Bernhard Schommer2015-12-112-3/+7
| | | | | | This option allows it to specify a .ini file that is in the usual search path. Bug 17431
* Allow relative paths for the tools.Bernhard Schommer2015-12-011-10/+21
| | | | | | | | The tools now can be specified by 3 ways: -Relative to the compcert.ini file -With absolute path to the location -As a simple filename which lies on the PATH variable. Bug 17431
* Allow relative library path.Bernhard Schommer2015-11-301-2/+11
| | | | | | The path to the libcompert folder can be specified relative to the location of the compcert.ini file. Bug 17431
* New option --conf.Bernhard Schommer2015-11-262-18/+31
| | | | | The option --conf allows it to overwrite the compcert.ini file. Bug 17431.
* Merge pull request #76 from fpottier/cutBernhard Schommer2015-11-242-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 Pottier2015-11-241-0/+1
| |
| * Use 1-based column numbers instead of 0-based.François Pottier2015-11-241-2/+2
| | | | | | | | This seems to agree with clang and with the emacs C mode.
* | Merge branch 'master' of github.com:AbsInt/CompCertBernhard Schommer2015-11-242-630/+616
|\ \
| * | Merge pull request #74 from fpottier/cutBernhard Schommer2015-11-242-630/+616
| |\| | | | | | | Fix a typo in a syntax error message.
| | * Update of the auto-generated comments.François Pottier2015-11-241-610/+611
| | |
| | * A simplification in the grammar, leading to fewer states in the automatonFrançois Pottier2015-11-242-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 Pottier2015-11-231-1/+1
| |/
* / Separate assembler options for the diab backend.Bernhard Schommer2015-11-201-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 Schommer2015-11-191-4/+4
|
* Added now option to control debug output.Bernhard Schommer2015-11-163-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 Leroy2015-11-131-2/+2
| | | | Don't pass $(MENHIR_INCLUDES) to ocamldep.
* Issue #71: incorrect initialization of wchar_t arrays from wide string literalXavier Leroy2015-11-133-6/+35
| | | | Regression test added in regression/initializers.c
* Merge branch 'master' of ssh://github.com/AbsInt/CompCertXavier Leroy2015-11-1314-2357/+1932
|\
| * Merge pull request #69 from jhjourdan/parser_fixBernhard Schommer2015-11-1211-2353/+1926
| |\ | | | | | | Parser : duplicate identifier tokens, fix K&R definition parsing
| | * Typo, coherence in error messagesJacques-Henri Jourdan2015-11-072-7/+8
| | |
| | * Integrate a few comments of F. Pottier into the pre_parser and ↵Jacques-Henri Jourdan2015-11-073-141/+139
| | | | | | | | | | | | handcrafted.messages
| | * Updating deLexer to PRE_NAME tokensJacques-Henri Jourdan2015-11-071-0/+3
| | |
| | * Merge remote-tracking branch 'origin/master' into parser_fixJacques-Henri Jourdan2015-11-0715-30/+65
| | |\
| | * \ Merge remote-tracking branch 'origin/master' into parser_fixJacques-Henri Jourdan2015-11-041-2/+0
| | |\ \
| | * \ \ Merge remote-tracking branch 'origin/master' into parser_fixJacques-Henri Jourdan2015-11-041-166/+183
| | |\ \ \
| | * \ \ \ Merge remote-tracking branch 'origin/master' into parser_fixJacques-Henri Jourdan2015-11-04314-20824/+23064
| | |\ \ \ \
| | * | | | | Better handling of old-style K&R function declarations:Jacques-Henri Jourdan2015-11-017-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 identifierJacques-Henri Jourdan2015-10-084-257/+198
| | | | | | |
| * | | | | | Merge pull request #68 from fpottier/cutBernhard Schommer2015-11-123-3/+3
| |\ \ \ \ \ \ | | | | | | | | | | | | | | | | Fix in cparser/GNUmakefile.
| | * | | | | | Change one line in [Lexer.mll] to obey API change in Menhir 20151110.François Pottier2015-11-102-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Update configure to require Menhir 20151110.
| | * | | | | | Fix in cparser/GNUmakefile.François Pottier2015-11-061-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 Schommer2015-11-101-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 errorsXavier Leroy2015-11-101-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 arraysXavier Leroy2015-11-098-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 instructionMichael Schmidt2015-11-091-3/+2
| |_|_|_|_|/ |/| | | | |
* | | | | | Fix for switch was to eager.Bernhard Schommer2015-11-061-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 Schommer2015-11-063-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 Schommer2015-11-061-0/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Instead of printing <unknown builtin> we now print the debug annotations. Fix 17581.
* | | | | | Merge branch 'master' of ↵Michael Schmidt2015-11-061-2/+2
|\ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | git+ssh://ssh.absint.com/common/repositories/git/tools/compcert
| * | | | | | Do not print parameter names in function types.Bernhard Schommer2015-11-061-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, typosMichael Schmidt2015-11-064-11/+11
|/ / / / /
* | | | | Merge pull request #67 from fpottier/compressBernhard Schommer2015-11-051-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 Pottier2015-11-031-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 Schommer2015-11-044-5/+15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The new option -gonly-global allows the generation of debuging information for global variables only. Bug 17566.
* | | | | bug 17567, typosMichael Schmidt2015-11-041-3/+3
| | | | |
* | | | | bug 17567, typosMichael Schmidt2015-11-042-2/+2
| |_|_|/ |/| | |
* | | | Removed unused p_char_list function. Bug 17544.Bernhard Schommer2015-11-031-2/+0
| |_|/ |/| |
* | | Changed the name of a few ppc instructions. Bug 17544Bernhard Schommer2015-11-031-3/+3
| | |
* | | Simplify the Json export.Bernhard Schommer2015-11-031-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 Schommer2015-10-291-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
generated by cgit (git 2.34.1) at 2024-07-02 22:18:00 +0000