aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Elab.ml
Commit message (Expand)AuthorAgeFilesLines
...
* Fatal error instead of error for bit-fields.Bernhard Schommer2018-09-121-1/+1
* Attach _Alignas to names and refactor _Alignas checks (#133)Bernhard Schommer2018-09-101-7/+10
* Move parameter check.Bernhard Schommer2018-09-031-2/+6
* New diagnostic for reduced alignment (#117)Bernhard Schommer2018-08-291-3/+32
* More standard compliant handling of _Alignas.Bernhard Schommer2018-08-241-0/+11
* Preserve attribute(("aligned")) in the AST, don't map it to _AlignasXavier Leroy2018-08-241-2/+1
* Diagnostic for wrong application of restrict (#119)Bernhard Schommer2018-08-211-4/+23
* Improve support and diagnostic for type qualified arrays (#118)Bernhard Schommer2018-08-201-0/+6
* Added warning for incomplete tentative static defs (#114)Bernhard Schommer2018-08-201-4/+5
* Additional checks for flex arrays in structs (#93)Bernhard Schommer2018-08-201-5/+11
* Turn error into fatal error for unnamed parameter.Bernhard Schommer2018-08-201-2/+4
* For "packed" attribute, check that 3rd parameter is 0 or 1Xavier Leroy2018-08-171-1/+1
* Check for bit-fields in __builtin_offsetofXavier Leroy2018-08-171-1/+4
* Issue with packed structs and sizeof, alignof, offsetof in cparser/Xavier Leroy2018-08-171-17/+35
* Added a check for parameters without identifiers. (#128)Bernhard Schommer2018-08-171-5/+7
* Earlier check for invalid asm outputs. (#130)Bernhard Schommer2018-08-171-0/+5
* Various improvements in the wording of diagnostics.Michael Schmidt2018-08-021-74/+73
* Remove the `_Alignas(expr)` construct (#125)Xavier Leroy2018-06-071-9/+1
* Warn for defs and uses of static variables in nonstatic inline functionsXavier Leroy2018-06-041-16/+35
* Parameterize elab_expr by the full elaboration contextXavier Leroy2018-06-041-30/+42
* Support redefinition of a typedef in another scope (#122)Xavier Leroy2018-06-041-2/+2
* Warn that _Alignas and _Alignof are C11 extensionsXavier Leroy2018-06-041-1/+3
* Allow align attribute of zero. (#120)Bernhard Schommer2018-05-291-2/+2
* Removed duplicated whitespace. Bug 23660Bernhard Schommer2018-05-291-1/+1
* String literals are l-values and have array types (#116)Bernhard Schommer2018-05-271-12/+1
* Preserve storage class for functions declared within a blockXavier Leroy2018-05-261-7/+10
* Warning for extern declaration after definition.Bernhard Schommer2018-05-261-1/+4
* Revised elaboration of function definitions, part 2Xavier Leroy2018-05-071-65/+143
* Revised elaboration of function definitions, part 1Xavier Leroy2018-05-071-36/+40
* Added a diagnostic for attributes dec after defBernhard Schommer2018-05-071-3/+12
* Warning for comparison of incomplete pointers.Bernhard Schommer2018-05-071-0/+4
* Check that variables declared in 'for' loops are local variables (#104)Bernhard Schommer2018-05-041-11/+11
* Reject empty declarations in K&R functions. (#107)Bernhard Schommer2018-05-041-0/+2
* Reject arrays of incomplete type (#90)Bernhard Schommer2018-05-021-0/+2
* Also check statement of label statement.Bernhard Schommer2018-04-271-1/+2
* Detect duplicate 'case' or 'default' statements within a 'switch'Xavier Leroy2018-04-271-0/+41
* Record value of constant expression in C.Scase constructorXavier Leroy2018-04-271-5/+5
* Detect 'case' and 'default' outside a 'switch' statementXavier Leroy2018-04-271-1/+7
* Additional checks on typedefs (#101)Bernhard Schommer2018-04-261-0/+4
* Earlier, more comprehensive check for constant initializers (#88)Xavier Leroy2018-04-261-3/+6
* Check for enums that have the same tag as composites (#100)Bernhard Schommer2018-04-251-1/+8
* Add diagnostic for illegal use of void (Bug 23342)Michael Schmidt2018-04-251-0/+2
* Improved handling and diagnostics for the `auto` storage class (#99)Xavier Leroy2018-04-251-24/+48
* Accept empty enum declaration after nonempty enum definition (#87)Bernhard Schommer2018-04-221-1/+1
* Better check for incomplete types in pointer subtraction (#92)Bernhard Schommer2018-04-201-0/+1
* Function defintions: keep the attributes from previous declarations (#89)Bernhard Schommer2018-04-191-1/+3
* Check for redefinition of globals and preserve static initialized variables (...Bernhard Schommer2018-04-091-3/+18
* Reject illegal initializations of aggregates at top-level (#79)Xavier Leroy2018-04-061-1/+10
* Allow declaration of composites in bitfield size.Bernhard Schommer2018-04-051-11/+20
* Error for subtraction arithmetic type - pointer type (#73)Bernhard Schommer2018-04-051-3/+0
generated by cgit (git 2.34.1) at 2024-05-20 04:01:40 +0000