| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
|
|
| |
There is a bug in the fstat implementation in ocaml 4.03 under windows. In
order to prevent this we guard the isatty function with an additional try
with.
|
| |
|
|
|
|
|
| |
The anonymous members are kept but using them is still an error.
Bug 19907
|
|
|
|
|
|
| |
Now "expected at least %d" instead of "expected %d". Also improved
error message for __builtin_debug.
Bug 19872
|
| |
|
| |
|
|
|
|
|
|
|
|
| |
The only case where compcert raise a pedantic warning was for
implicit int parameters. This is the behavior of clang. However
since not all other pedantic warnings are supported the behavior
of gcc is adopted.
Bug 19872.
|
|
|
|
|
|
| |
In order to empty declarations it is necessary to distinguish
between forward declarations and empty declarations.
Bug 19859
|
|\
| |
| |
| |
| |
| | |
Fix minor issues in some proofs and tactics.
Patch by Maxime Dénès.
|
| |
| |
| |
| |
| | |
These minor problems were revealed by porting CompCert to Coq 8.6, where
they trigger errors.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
| |
| |
| |
| |
| | |
Now the same warning is triggered for both cases, int to ptr and
ptr to int.
Bug 18004
|
| | |
|
| |
| |
| |
| |
| |
| | |
This warning should be triggered if a feature is used that is not
part of the code CompCert C language.
Bug 18004
|
| | |
|
| |
| |
| |
| |
| |
| |
| |
| | |
Some old errors/warnings messages were better before and are now
rephrased. Furthermore some formulations are rephrased to match the
used formulations of the ISO C stanard, e.g. storage class is
replaced with storage-class.
Bug 18004
|
| | |
|
| | |
|
| | |
|
| | |
|
|\ \ |
|
| | |
| | |
| | |
| | |
| | |
| | | |
The environment where the types are inserted is passed back to
allow introducing structs in k&r parameters.
Bug 19668
|
| | |
| | |
| | |
| | |
| | |
| | | |
The previous fix for duplicated members was also triggered for
unnamed members.
Bug 19665
|
| | | |
|
|\| | |
|
| | |
| | |
| | |
| | |
| | |
| | | |
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.
|
| |\ \
| | | |
| | | | |
Support for ARM Big Endian
|
| | |\ \ |
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
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
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
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
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
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.
|