aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Elab.ml
Commit message (Expand)AuthorAgeFilesLines
* 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
| * Added types found in cast to Environment.Bernhard Schommer2016-08-231-2/+2
| * Revert "Reuse env from during parameter elaboration."Bernhard Schommer2016-08-231-4/+4
| * Reuse env from during parameter elaboration.Bernhard Schommer2016-08-221-4/+4
| * Better error message for function initializerBernhard Schommer2016-08-221-0/+4
| * Test for incomplete type during initialization.Bernhard Schommer2016-08-221-1/+6
| * Error for va_start in non-vararg function.Bernhard Schommer2016-08-221-27/+31
| * Added check for incomplete parameter types.Bernhard Schommer2016-08-201-1/+5
| * Exit earlier on invalid alignof and sizeof.Bernhard Schommer2016-08-191-4/+4
| * Disallow void as type for variables.Bernhard Schommer2016-08-181-0/+2
| * Exit earlier on empty union.Bernhard Schommer2016-08-171-1/+5
| * Catch attribute excpetion in _Alignas elabBernhard Schommer2016-08-171-0/+1
| * Added error check before transformations.Bernhard Schommer2016-08-081-1/+1
| * Exit earlier on wrong return types.Bernhard Schommer2016-08-071-1/+1
* | Added raw printing of types without formatting.Bernhard Schommer2016-08-161-2/+2
* | Classified all warnings and added various options.Bernhard Schommer2016-07-291-253/+320
|/
* Nicer error message for redefinitions with incompatible typeXavier Leroy2016-07-221-3/+4
* Improved handling of C90 calls to undeclared functionsXavier Leroy2016-07-211-73/+75
* Revised handling of block-scoped extern declarationsXavier Leroy2016-07-211-46/+93
* bug 19234, inherit varargs flag from previous function definitions for KR con...Michael Schmidt2016-06-281-4/+19
* Revised handling of old-style, K&R function definitionsXavier Leroy2016-06-241-63/+130
* Remove code that will is deprecated in ocaml 4.03Bernhard Schommer2016-06-211-2/+5
* Pass the updated env through elab_expr.Bernhard Schommer2016-06-211-149/+166
* Check for type compatibility when initializing TInt arrays with wide strings ...Michael Schmidt2016-04-061-1/+1
generated by cgit (git 2.34.1) at 2024-06-29 01:54:30 +0000