aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Elab.ml
Commit message (Expand)AuthorAgeFilesLines
* 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
* Added code for initializers. Bug 20003Bernhard Schommer2016-12-121-1/+19
* Moved naming and changed names of aux functionsBernhard Schommer2016-12-121-16/+20
* Next try for support of anonymous structs.Bernhard Schommer2016-12-071-25/+54
* Warning for C11 _Noreturn feature.Bernhard Schommer2016-11-221-4/+10
* Warning for decls without name in composites.Bernhard Schommer2016-11-221-1/+3
* Keep anonymous members of anonymous structs.Bernhard Schommer2016-09-271-2/+4
* Improved error messages for wrong vararg calls.Bernhard Schommer2016-09-231-2/+3
* Renamed pedantic to implicit-int.Bernhard Schommer2016-09-221-1/+1
* Reverted noisy change.Bernhard Schommer2016-09-221-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-211-2/+2
* Allow empty alignment attribute. Bug 18004Bernhard Schommer2016-09-211-0/+1
* 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-011-15/+15
* Fixed error message for & operator. Bug 18004Bernhard Schommer2016-08-311-1/+1
* Added conformance warning.Bernhard Schommer2016-08-311-0/+1
* Added back logical operator in error. Bug 18004Bernhard Schommer2016-08-311-1/+1
* Reworded errors/warnings in Elab.Bernhard Schommer2016-08-311-60/+76
* 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
| * Fixed spelling mistake and unnamed fields.Bernhard Schommer2016-08-291-3/+6
| * Added check for duplicated members. Bug 19665Bernhard Schommer2016-08-291-0/+5
* | Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-291-77/+102
|\|
| * Reuse types from parameters in function definitonsBernhard Schommer2016-08-251-41/+42
| * Test if struct is redefined as union or otherwise.Bernhard Schommer2016-08-251-0/+2
| * Fix for initialization of incomplete typesBernhard Schommer2016-08-231-3/+3