aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Elab.ml
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Turn delicate case of designated re-initialization into error (#70)Xavier Leroy2018-03-301-37/+56
* Don't overwrite initializer of anonymous union member. (#69)Bernhard Schommer2018-03-291-1/+1
* Sizeof and _Alignof are not allowed on bit-fields (#67)Bernhard Schommer2018-03-271-1/+5
* Arrays should decay to pointers (#65)Bernhard Schommer2018-03-271-2/+3
* Improve error messages for anonymous bit-fields (#64)Bernhard Schommer2018-03-231-7/+10
* Do not allow inline on main and warn for Noreturn (#63)Bernhard Schommer2018-03-231-0/+4
* Refactor the handling of errors and warnings (#44)Bernhard Schommer2018-02-081-2/+2
* Do not pass the env back from for stmt decls. (#42)Bernhard Schommer2017-12-121-7/+7
* Remove unused code. BUg 22642Bernhard Schommer2017-12-081-1/+0
* Store the different inlining cases.Bernhard Schommer2017-12-081-1/+1
* Make redefinition of composite a fatal error.Bernhard Schommer2017-05-091-2/+1
* Added check for large arrays.Bernhard Schommer2017-02-211-0/+1
* Added gcc noinline attribute.Bernhard Schommer2017-02-191-0/+1
* Adopted unused variable and attribtue checkBernhard Schommer2017-02-171-0/+1
* Added a simple check for unused variables.Bernhard Schommer2017-02-171-1/+3
* Do not optimize away the 'return 0' at end of 'main'Xavier Leroy2017-02-171-7/+5
* Merge pull request #162 from AbsInt/return-analysis-2Xavier Leroy2017-02-151-6/+18
|\
| * More precise warnings about function returnsXavier Leroy2017-02-071-6/+18
* | Use Printf.sprintf instead of Format.sprintf when possibleXavier Leroy2017-02-091-4/+4
|/
* Merge branch 'elaboration-of-attributes'Xavier Leroy2017-02-061-24/+46
|\
| * Preliminary support for the "noreturn" attributeXavier Leroy2017-02-061-11/+15
| * Refactor the classification of attributesXavier Leroy2017-02-031-5/+11
| * Regression: type attributes and array modifiersXavier Leroy2017-02-011-2/+4
| * Revised elaboration of attributesXavier Leroy2017-01-311-13/+24
* | Remove all overriding opens in Elab.ml. Bug 19872Bernhard Schommer2017-02-031-2/+2
* | Removed Cabshelper open and avoided shadowing.Bernhard Schommer2017-02-031-7/+6
* | Remove unused opens.Bernhard Schommer2017-02-031-32/+28
* | Removed no longer working check.Bernhard Schommer2017-02-031-14/+4
* | Avoid overflows and report an error.Bernhard Schommer2017-01-311-7/+7
* | Normalize offset to size_t kind.Bernhard Schommer2017-01-311-2/+4
* | Remove superfluous check.Bernhard Schommer2017-01-311-7/+4
* | New version to support designators.Bernhard Schommer2017-01-241-8/+33
* | Simplified version.Bernhard Schommer2017-01-201-10/+8
* | Also support union. Bug 20765Bernhard Schommer2017-01-201-3/+4
* | Implement offsetof via builtin.Bernhard Schommer2017-01-201-0/+16
|/
* Allow multiple nameless bit field fields.Bernhard Schommer2016-12-291-2/+4
* Avoid exception catch-allXavier Leroy2016-12-261-1/+1
* Cosmetic indentation changeXavier Leroy2016-12-261-5/+4
generated by cgit (git 2.34.1) at 2024-06-26 18:26:51 +0000