aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* Turn the error on anonymous structs/unions into a warning.Xavier Leroy2015-06-111-1/+1
* Error if, in the same scope, a typedef is redefined as a variable, or a varia...Xavier Leroy2015-06-061-2/+8
* Make a register as storage specify to a fatal error.Bernhard Schommer2015-05-141-1/+1
* Changed the enter_or_refine_ident function to produce an error if a non-stat...Bernhard Schommer2015-05-131-6/+14
* Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-091-3/+4
* Detect uses of anonymous structs/unions (a C2011 feature and GCC extension) a...Xavier Leroy2015-04-301-0/+14
* Detect and reject "&" operator applied to "register" local variable or to a b...Xavier Leroy2015-04-283-0/+34
* Bitfield improvements continued: perform bitfield expansion before unblocking...Xavier Leroy2015-04-282-180/+210
* Extended inline asm: handle missing cases.Xavier Leroy2015-04-286-19/+46
* Allow "scratch" (non-allocatable temporary registers) to be mentioned in asm ...Xavier Leroy2015-04-231-0/+1
* Extended asm: more lenient treatment of constraints.Xavier Leroy2015-04-221-10/+21
* Avoid multiple errors being reported in the case #outputs >= 2.Xavier Leroy2015-04-211-2/+6
* Proper treatment of extended asm.Xavier Leroy2015-04-211-1/+5
* Support for GCC-style extended asm, continued:Xavier Leroy2015-04-211-0/+183
* Experiment: support a subset of GCC's extended asm statements.Xavier Leroy2015-04-178-21/+168
* Merge branch 'master' into dwarfBernhard Schommer2015-04-141-0/+7
|\
| * Detect (and reject with an error) preprocessing numbers that are not valid in...Xavier Leroy2015-04-061-0/+7
* | Merge branch 'master' into dwarfBernhard Schommer2015-03-316-88/+480
|\|
| * "ecomma" smart constructor: reassociate to the left so that it prints more ni...Xavier Leroy2015-03-201-2/+8
| * Improvements in the StructReturn transformation (ABI conformance for passing ...Xavier Leroy2015-03-203-66/+45
| * Merge branch 'master' into struct-passingXavier Leroy2015-03-141-7/+12
| |\
| * | Improve performance and configurability for the StructReturn pass.Xavier Leroy2015-03-143-54/+110
| * | ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-276-69/+420
* | | Compute the size of structs using the result of the packing and bitfield tran...Bernhard Schommer2015-03-261-10/+10
* | | Added missing functions for printing the structs and unions. Still missing pr...Bernhard Schommer2015-03-242-5/+10
* | | Added translation fucntion for declarations and fundefinitions.Bernhard Schommer2015-03-231-0/+2
| |/ |/|
* | Issue #26: problems with big escape sequences in string/char literals.Xavier Leroy2015-03-071-7/+12
|/
* Merge branch 'named-structs'Xavier Leroy2015-01-231-2/+4
|\
| * Add a type system for CompCert C and type-checking constructor functions.Xavier Leroy2014-12-311-2/+4
* | Delay reads from !Machine.config before it is properly initialized.Xavier Leroy2015-01-227-66/+86
* | Wrong handling of block-local function declarations (again)Xavier Leroy2015-01-011-12/+7
* | Revised type compatibility check w.r.t. handling of attributes.Xavier Leroy2015-01-014-49/+93
* | PR#12: regression introduced in commit 2d32afcXavier Leroy2014-12-301-2/+0
* | PR#6: fix handling of wchar_t and assignments from wide string literals.Xavier Leroy2014-12-305-9/+31
* | PR#11: support sizeof(struct {...}) and _Alignof(struct {...})Xavier Leroy2014-12-301-25/+38
* | Improve printing of errors.Xavier Leroy2014-12-301-3/+11
* | PR#10 continued: disambiguate record to avoid OCaml warningXavier Leroy2014-12-301-1/+1
* | PR#10: composite definitions must be maintained in the environment.Xavier Leroy2014-12-301-6/+15
* | Recognize more of GCC's alternate keywords (e.g. "__signed").Xavier Leroy2014-12-291-21/+24
* | Support "asm volatile" (closes: PR#5).Xavier Leroy2014-12-292-1/+3
* | No longer include a pre-generated Parser.v in the distribution.Xavier Leroy2014-12-181-61669/+0
* | Wrong handling of block-local function declarations (in Elab.ml).Xavier Leroy2014-11-261-12/+7
|/
* Moved the timing facility to a seperate file.Bernhard Schommer2014-09-291-3/+3
* GCCism: accept __volatile and __volatile__Xavier Leroy2014-09-211-0/+2
* Error instead of warning on illegal escape sequences.Xavier Leroy2014-09-211-1/+1
* Support C99 compound literals (by expansion in Unblock pass).xleroy2014-08-2111-453/+625
* Improve error reporting for unsupported compound literals.xleroy2014-08-201-1/+4
* Improve error detection and error messages for enums.xleroy2014-08-171-3/+7
* Spurious error on a local static function declarationxleroy2014-08-131-0/+1
* Make Alphabet.v compatible with an environnment where Containers is installedjjourdan2014-07-041-1/+1
generated by cgit (git 2.34.1) at 2024-06-02 21:15:07 +0000