| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| | |
|
| | |
|
|\ \
| | |
| | | |
Revise and simplify the -fstruct-return and -fstruct-passing options.
|
|/ /
| |
| |
| |
| |
| | |
- Rename '-fstruct-return' into '-fstruct-passing', because this emulation affects both function result passing and function argument passing. Keep '-fstruct-return' as a deprecated synonymous for '-fstruct-passing'
- Remove the ability to change the ABI for struct passing via the '-fstruct-passing=<abi>' and '-fstruct-return=<abi>' command-line flags. This was more confusing than useful.
- Produce an error if a struct/union is passed as function argument and '-fstruct-passing' is not set. This used to be supported, using CompCert's default ABI for passing struct arguments. However, this default ABI does not match any of the standard ABIs of our target platforms, so it is better to reject than to silently produce ABI-incompatible code.
|
| | |
|
| |
| |
| |
| |
| |
| |
| | |
Instead of using = to set the COMPFLAGS use += which allows it to
specify custom compiler flags in for example the Makefile.config.
Also remove *.cmt(i) files and add them to the .gitignore file.
Bug 17742
|
| |
| |
| |
| |
| |
| | |
In order to get deterministic output code we need to sort the strings
in the debug_str section by their label.
Fix 17727.
|
| |
| |
| |
| |
| |
| |
| | |
Since the identifier of a function definition and of its declaration
are equal we only should remove functions if the function iteself is
removed.
Bug 17724.
|
|/
|
|
|
|
| |
On windows opening files in text mode can result in errors due to
non-windows compatible input. Thus open files only in binary mode.
Bug 17664
|
|
|
|
|
| |
The option --conf allows it to overwrite the compcert.ini file.
Bug 17431.
|
|\
| |
| | |
A fix in the column numbers. A change in one error message.
|
| | |
|
| |
| |
| |
| | |
This seems to agree with clang and with the emacs C mode.
|
|\ \ |
|
| |\|
| | |
| | | |
Fix a typo in a syntax error message.
|
| | | |
|
| | |
| | |
| | |
| | | |
and merging two error states into one. There should be no observable change.
|
| |/ |
|
|/
|
|
|
|
| |
The diab backend calls the assembler directly and does not call
the compiler like for the gcc based backends.
Fix 17668.
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
|
|
|
| |
Don't pass $(MENHIR_INCLUDES) to ocamldep.
|
|
|
|
| |
Regression test added in regression/initializers.c
|
|\ |
|
| |\
| | |
| | | |
Parser : duplicate identifier tokens, fix K&R definition parsing
|
| | | |
|
| | |
| | |
| | |
| | | |
handcrafted.messages
|
| | | |
|
| | |\ |
|
| | |\ \ |
|
| | |\ \ \ |
|
| | |\ \ \ \ |
|
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | | |
- 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
|
| | | | | | | |
|
| |\ \ \ \ \ \
| | | | | | | |
| | | | | | | | |
Fix in cparser/GNUmakefile.
|
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | | |
Update configure to require Menhir 20151110.
|
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | | |
Remove "&" which was a typo and did not make sense.
Use "command -v" instead of "which" (more efficient).
Use "=" instead of ":=" (more efficient).
|
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | | |
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.
|
|/ / / / / / /
| | | | | | |
| | | | | | |
| | | | | | | |
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.
|
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | | |
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.
|
| |_|_|_|_|/
|/| | | | | |
|
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
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
|
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
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.
|
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
Instead of printing <unknown builtin> we now print the debug
annotations.
Fix 17581.
|
|\ \ \ \ \ \
| | | | | | |
| | | | | | |
| | | | | | | |
git+ssh://ssh.absint.com/common/repositories/git/tools/compcert
|
| |/ / / / /
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
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.
|
|/ / / / / |
|
|\ \ \ \ \
| | | | | |
| | | | | | |
When printing a fragment of source text as part of an error message, …
|
| | |/ / /
| |/| | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
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.
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
The new option -gonly-global allows the generation of debuging
information for global variables only.
Bug 17566.
|