aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Elab.ml
Commit message (Expand)AuthorAgeFilesLines
...
| * 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
* Check for type compatibility when initializing TInt arrays with wide strings ...Michael Schmidt2016-04-061-1/+1
* Revert initialization check, bug 18000Michael Schmidt2016-04-051-8/+0
* Match type size with size of wchar_t when initializing TInt arrays with wide ...Michael Schmidt2016-04-051-1/+1
* Catch initialization of arrays with single expressions, bug 18000Michael Schmidt2016-04-051-2/+2
* Catch initialization of arrays with single expressions, bug 18000Michael Schmidt2016-04-051-0/+8
* Added the _Noreturn keyword.Bernhard Schommer2016-03-231-13/+23
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-50/+50
* Upgrade ocaml version needed and enable more warnings.Bernhard Schommer2016-03-101-3/+3
* Code cleanup.Bernhard Schommer2016-03-101-65/+63
* Make void always incomplete and exit on void members.Bernhard Schommer2016-02-021-1/+2
* Do test for wrap around on singed ocaml integers.Bernhard Schommer2016-01-281-1/+1
* Issue #71: incorrect initialization of wchar_t arrays from wide string literalXavier Leroy2015-11-131-6/+6
* Merge remote-tracking branch 'origin/master' into parser_fixJacques-Henri Jourdan2015-11-041-16/+16
|\
| * Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-24/+24
* | Better handling of old-style K&R function declarations:Jacques-Henri Jourdan2015-11-011-92/+104
|/
* Handle the special case of a typedef to void funciton parameter to beBernhard Schommer2015-10-051-2/+2
* Allow redefinition of a typedef with the same name.Bernhard Schommer2015-10-041-7/+15
* Merge pull request #57 from jhjourdan/parser_fixBernhard Schommer2015-10-011-17/+0
|\
| * Fixed a few bugs in the pre parser. In particular, the following codeJacques-Henri Jourdan2015-09-301-17/+0
* | Record the scope structure during unblocking.Bernhard Schommer2015-09-221-1/+1
* | Merge branch 'debugscopes' into debug_locationsBernhard Schommer2015-09-211-1/+1
|\|
| * Global register variables result in fatal error.Bernhard Schommer2015-09-081-1/+1
* | New version of adding scopes etc.Bernhard Schommer2015-09-201-1/+1
* | Started implementing the scope for the Debug Informations.Bernhard Schommer2015-09-181-1/+3
* | First version with computation of dwarf info from debug info.Bernhard Schommer2015-09-171-3/+3
* | Move more functionality in the new interface.Bernhard Schommer2015-09-161-13/+15
|/
* Reject incomplete types as return type.Bernhard Schommer2015-07-141-1/+4
generated by cgit (git 2.34.1) at 2024-07-01 17:15:07 +0000