| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
| |
Not decrementing the scopes again after a parameter parsing
lead to other scoping problems.
Bug 19656.
|
|
|
|
|
|
| |
In order to allow introducing structs in parameter definitions the
environment must keep the type information.
Bug 19602
|
|
|
|
|
|
| |
If a declaration of a composite is encountered it is also tested
if the kind is equal.
Bug 19630.
|
| |
|
|
|
|
|
|
|
| |
The test is extended for integer constants smaller than 0. Also the
default constant used for the error is no longer 0 since this is
not a positive number.
Bug 19629
|
|\
| |
| | |
Support for ARM Big Endian
|
| |\ |
|
| | | |
|
| | | |
|
| | |
| | |
| | |
| | |
| | |
| | | |
Instead of an addition -little or -big at the end the configure
script now accepts armeb* for the big endian arm targets.
Bug 19418
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
Adds support for the big endian arm targets by making the target
endianess flag configurable, adding support for the big endian
calling conventions, rewriting memory access patterns and adding
big endian versions of the runtime functions.
Bug 19418
|
| | |
| | |
| | |
| | |
| | |
| | | |
The spilling strategy for 2-address operations was strange in the case where the first argument needs spilling but not (yet) the result: a Xreload instruction was generated which prevented future spilling of the result.
Fixed by generating Xmove instead of Xreload in this case.
|
| | |
| | |
| | |
| | |
| | |
| | | |
The declarations of malloc and free should also be printed for
CompCert C.
Bug 19616.
|
| | |
| | |
| | |
| | |
| | |
| | | |
Since some incomplete types are allowed in initialization just
test whether the default initilization exists.
Bug 19601
|
| | |
| | |
| | |
| | |
| | |
| | | |
New types introduced in casts are now inserted into the right
Environment and carried along.
Bug 19614.
|
| | |
| | |
| | |
| | | |
This reverts commit c64c4ab2526ad87a3506c9e1fdf31fa1446c16eb.
|
| | |
| | |
| | |
| | |
| | | |
Allows adding struct definitions in function parameters.
Bug 19602.
|
| | |
| | |
| | |
| | |
| | |
| | | |
Initializers for function variables are not allowed. CompCert now
reports an error and exits.
Bug 19606
|
| | |
| | |
| | |
| | |
| | |
| | | |
The PrintCsyntax now first emits declarations for all functions
and variables in order to allow foward declarations.
Bug 19598.
|
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
When response files are used CompCert should still print all
command line arguments since the response file is deleted after
usage.
Bug 19297.
|
| | |
| | |
| | |
| | |
| | |
| | | |
Before the initializazion is computed we check wether the type is
incomplete.
Bug 19601
|
| | |
| | |
| | |
| | |
| | |
| | | |
CompCert now reports an error for usage of the va_start macro in
non variadic functions.
Bug 19600.
|
| | | |
|
| | |
| | |
| | |
| | |
| | | |
Parameters also need to be checked for incomplete types.
Bug 19596
|
| | |
| | |
| | |
| | |
| | |
| | | |
Alginof and sizeof applied to incomplete types now exit earlier
with a fatal error.
Bug 19594.
|
| |/
|/|
| |
| |
| |
| | |
This allows problems in elaboration of the initializers for
variables of void type.
Bug 19577.
|
| |
| |
| |
| |
| |
| |
| | |
Instead of a warning for an empty union CompCert reports an error
and exits. This avoids problems during the generation of
initializers for these.
Bug 19565.
|
|\ \
| | |
| | | |
Add support for response files
|
| | |
| | |
| | |
| | |
| | |
| | | |
Also corrected some typos and corrected exception handling for
expandargv.
Bug 18308
|
| | | |
|
| | | |
|
| | |
| | |
| | |
| | |
| | |
| | | |
The diab data compiler has different quoting conventions compared
to the gnu tools.
Bug 18308.
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
The functions expandargv and writeargv resemble the functions from
the libiberity that are used by the gnu tools. Additionaly a new
configuration is added in order to determine which kind of response
files are supported for calls to other tools.
Bug 18308
|
| | |
| | |
| | |
| | |
| | |
| | | |
Command now decides whether to use a responsefile or call the
external command directly.
Bug 18004
|
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
Since gnu make and other tools under windows seem to have a limit
of around 8000 bytes per command line the arguments should be
passed via responsefiles instead.
Bug 18308
|
| | | |
|
| | |
| | |
| | |
| | |
| | |
| | | |
The arguments are written in the responsefile separated by whitespace.
If the argument itself contains a whitespace it is quoted.
Bug 18308
|
| |\ \ |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Commandline can now be passed in a file specifed with @file on the
Commandline. The quoting convention is similar to the one used by
gcc, etc. Options are separated by whitespaces and options with
whitespaecs need to be quoted.
Bug 18303
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
The exception Wrong_attr_arg raised is now catched during the
translation of the wrong _Alignas attributes.
Bug 19568.
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
The emulated printf in the interpreter did always return 0 instead
of the numbers of bytes printed.
Bug 19564
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Added a check for errors after the elab phases to avoid problems
in the transformations due to broken input programs.
Bug 19504
|
| |_|/
|/| |
| | |
| | |
| | |
| | | |
Return with a expression that is not compatible with the given return type
of a function now causes and fatal error, to avoid problems with later
transformation passes depending on it.
|
| | | |
|
| | | |
|
| | | |
|
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
- Adjust parameters to bring the running time of each test closer to 1 second
- compression/arcode.c: array access one past
- "inline" -> "static inline"
- Remove cchecklink support
|
|\ \ \
| | | |
| | | | |
Improved handling of block-scoped 'extern' declarations
|
| | | | |
|