aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Collapse)AuthorAgeFilesLines
* Warning for C11 _Noreturn feature.Bernhard Schommer2016-11-221-4/+10
| | | | The warning for C11 features is now also triggered for _Noreturn.
* Warning for decls without name in composites.Bernhard Schommer2016-11-224-6/+15
| | | | | | The warning missing declarations is now also triggered for declarations without name in field lists of composite types if the declaration is not an anonymous composite or a bitfield member.
* Merge pull request #145 from AbsInt/64Xavier Leroy2016-10-271-3/+3
|\ | | | | | | Support for 64-bit target processors + support for x86 in 64-bit mode
| * cparser/PackedStructs: fix assertion that was wrong for 64-bit targetsXavier Leroy2016-10-241-1/+1
| |
| * Support for 64-bit architectures: generic supportXavier Leroy2016-10-011-2/+2
| | | | | | | | | | | | | | | | | | | | | | - Introduce Archi.ptr64 parameter. - Define module Ptrofs of integers as wide as a pointer (64 if Archi.ptr64, 32 otherwise). - Use Ptrofs.int as the offset type for Vptr values and anywhere pointer offsets are manipulated. - Modify Val operations that handle pointers (e.g. Val.add, Val.sub, Val.cmpu) so that in 64-bit pointer mode it is the "long" operation (e.g. Val.addl, Val.subl, Val.cmplu) that handles pointers. - Update the memory model accordingly. - Modify C operations that handle pointers (e.g. addition, subtraction, comparisons) accordingly. - Make it possible to turn off the splitting of 64-bit integers into pairs of 32-bit integers. - Update the compiler front-end and back-end accordingly.
* | Remove unnecessary usage of isatty.Bernhard Schommer2016-10-181-1/+1
| |
* | Catch errors from Unix for isatty.Bernhard Schommer2016-10-181-1/+4
| | | | | | | | | | | | 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.
* | Remove undocumented option. Bug 20193Bernhard Schommer2016-10-143-25/+8
|/
* Keep anonymous members of anonymous structs.Bernhard Schommer2016-09-272-3/+5
| | | | | The anonymous members are kept but using them is still an error. Bug 19907
* Improved error messages for wrong vararg calls.Bernhard Schommer2016-09-231-2/+3
| | | | | | Now "expected at least %d" instead of "expected %d". Also improved error message for __builtin_debug. Bug 19872
* mention -Wall in help textMichael Schmidt2016-09-221-0/+1
|
* Added compcert-conformance to wall. Bug 19872Bernhard Schommer2016-09-221-0/+2
|
* Renamed pedantic to implicit-int.Bernhard Schommer2016-09-223-8/+9
| | | | | | | | 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.
* Reverted noisy change.Bernhard Schommer2016-09-221-1/+1
| | | | | | In order to empty declarations it is necessary to distinguish between forward declarations and empty declarations. Bug 19859
* Merge pull request #142 from maximedenes/minor-fixesXavier Leroy2016-09-211-0/+1
|\ | | | | | | | | | | Fix minor issues in some proofs and tactics. Patch by Maxime Dénès.
| * Fix minor issues in some proofs and tactics.Maxime Dénès2016-09-211-0/+1
| | | | | | | | | | These minor problems were revealed by porting CompCert to Coq 8.6, where they trigger errors.
* | Fix typo in option name. Bug 18004Bernhard Schommer2016-09-211-1/+1
| |
* | Also warn for empty default declarations. Bug 18004Bernhard Schommer2016-09-211-1/+1
| |
* | Make unnamed default + correct empty struct warning. Bug 18004Bernhard Schommer2016-09-212-2/+3
| |
* | Allow empty alignment attribute. Bug 18004Bernhard Schommer2016-09-211-0/+1
| |
* | Remove the duplicated :. Bug 18004Bernhard Schommer2016-09-211-3/+3
| |
* | Fixed typos and reverted error message. Bug 18004Bernhard Schommer2016-09-051-9/+9
| |
* | Readded parameter number. Bug 18004Bernhard Schommer2016-09-011-6/+6
| |
* | Reworded warning. Bug 18004Bernhard Schommer2016-09-011-6/+6
| |
* | Simplified int to pointer tests.Bernhard Schommer2016-09-012-16/+17
| | | | | | | | | | | | Now the same warning is triggered for both cases, int to ptr and ptr to int. Bug 18004
* | Fixed error message for & operator. Bug 18004Bernhard Schommer2016-08-311-1/+1
| |
* | Added conformance warning.Bernhard Schommer2016-08-313-0/+4
| | | | | | | | | | | | This warning should be triggered if a feature is used that is not part of the code CompCert C language. Bug 18004
* | Added back logical operator in error. Bug 18004Bernhard Schommer2016-08-311-1/+1
| |
* | Reworded errors/warnings in Elab.Bernhard Schommer2016-08-311-60/+76
| | | | | | | | | | | | | | | | 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
* | Restored original bit-field warning. Bug 18004Bernhard Schommer2016-08-311-1/+1
| |
* | Updated comment string. Bug 18004.Bernhard Schommer2016-08-312-3/+3
| |
* | bug 18004, fix some typos/grammarMichael Schmidt2016-08-301-4/+4
| |
* | Fixed types in Elab.ml. Bug 18004Bernhard Schommer2016-08-291-5/+5
| |
* | Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-291-8/+18
|\ \
| * | Pass the environment of k&r param elaboration.Bernhard Schommer2016-08-291-8/+10
| | | | | | | | | | | | | | | | | | The environment where the types are inserted is passed back to allow introducing structs in k&r parameters. Bug 19668
| * | Fixed spelling mistake and unnamed fields.Bernhard Schommer2016-08-291-3/+6
| | | | | | | | | | | | | | | | | | The previous fix for duplicated members was also triggered for unnamed members. Bug 19665
| * | Added check for duplicated members. Bug 19665Bernhard Schommer2016-08-291-0/+5
| | |
* | | Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-2910-82/+126
|\| |
| * | Use old scope in after parameter parsing.Bernhard Schommer2016-08-261-1/+1
| | | | | | | | | | | | | | | | | | Not decrementing the scopes again after a parameter parsing lead to other scoping problems. Bug 19656.
| * | Reuse types from parameters in function definitonsBernhard Schommer2016-08-253-41/+47
| | | | | | | | | | | | | | | | | | In order to allow introducing structs in parameter definitions the environment must keep the type information. Bug 19602
| * | Test if struct is redefined as union or otherwise.Bernhard Schommer2016-08-251-0/+2
| | | | | | | | | | | | | | | | | | If a declaration of a composite is encountered it is also tested if the kind is equal. Bug 19630.
| * | Merge pull request #118 from AbsInt/armebXavier Leroy2016-08-242-1/+5
| |\ \ | | | | | | | | Support for ARM Big Endian
| | * \ fix merge conflictsMichael Schmidt2016-08-174-3/+12
| | |\ \
| | * | | Implement support for big endian arm targets.Bernhard Schommer2016-08-052-1/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
| * | | | Fix for initialization of incomplete typesBernhard Schommer2016-08-233-5/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Since some incomplete types are allowed in initialization just test whether the default initilization exists. Bug 19601
| * | | | Added types found in cast to Environment.Bernhard Schommer2016-08-231-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | New types introduced in casts are now inserted into the right Environment and carried along. Bug 19614.
| * | | | Revert "Reuse env from during parameter elaboration."Bernhard Schommer2016-08-231-4/+4
| | | | | | | | | | | | | | | | | | | | This reverts commit c64c4ab2526ad87a3506c9e1fdf31fa1446c16eb.
| * | | | Reuse env from during parameter elaboration.Bernhard Schommer2016-08-221-4/+4
| | | | | | | | | | | | | | | | | | | | | | | | | Allows adding struct definitions in function parameters. Bug 19602.
| * | | | Better error message for function initializerBernhard Schommer2016-08-221-0/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Initializers for function variables are not allowed. CompCert now reports an error and exits. Bug 19606
| * | | | Test for incomplete type during initialization.Bernhard Schommer2016-08-221-1/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before the initializazion is computed we check wether the type is incomplete. Bug 19601
generated by cgit (git 2.34.1) at 2024-06-29 02:02:01 +0000