aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Elab.ml
Commit message (Expand)AuthorAgeFilesLines
* 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
* Use env1 instead of env to also have the type specifiers used in the return p...Bernhard Schommer2015-07-091-1/+1
* Propagated the composed type constructed build during identifier lookup.Bernhard Schommer2015-07-091-6/+6
* Add implicit "return 0;" at end of function "main".Xavier Leroy2015-07-081-1/+13
* Turn "redefinition with an incompatible type" warning into an error.Xavier Leroy2015-07-081-1/+6
* Simple fix for problem with local extern.Bernhard Schommer2015-06-241-0/+1
* Turn the error on anonymous structs/unions into a warning.Xavier Leroy2015-06-111-1/+1
* Error if, in the same scope, a typedef is redefined as a variable, or a varia...Xavier Leroy2015-06-061-2/+8
* Make a register as storage specify to a fatal error.Bernhard Schommer2015-05-141-1/+1
* Changed the enter_or_refine_ident function to produce an error if a non-stat...Bernhard Schommer2015-05-131-6/+14
* Detect uses of anonymous structs/unions (a C2011 feature and GCC extension) a...Xavier Leroy2015-04-301-0/+14
* Detect and reject "&" operator applied to "register" local variable or to a b...Xavier Leroy2015-04-281-0/+17
* Experiment: support a subset of GCC's extended asm statements.Xavier Leroy2015-04-171-10/+25
* Issue #26: problems with big escape sequences in string/char literals.Xavier Leroy2015-03-071-7/+12
* Delay reads from !Machine.config before it is properly initialized.Xavier Leroy2015-01-221-8/+8
* Wrong handling of block-local function declarations (again)Xavier Leroy2015-01-011-12/+7
* Revised type compatibility check w.r.t. handling of attributes.Xavier Leroy2015-01-011-9/+11
* PR#12: regression introduced in commit 2d32afcXavier Leroy2014-12-301-2/+0
* PR#6: fix handling of wchar_t and assignments from wide string literals.Xavier Leroy2014-12-301-2/+2
* PR#11: support sizeof(struct {...}) and _Alignof(struct {...})Xavier Leroy2014-12-301-25/+38
* Wrong handling of block-local function declarations (in Elab.ml).Xavier Leroy2014-11-261-12/+7
* Support C99 compound literals (by expansion in Unblock pass).xleroy2014-08-211-388/+393
* Improve error reporting for unsupported compound literals.xleroy2014-08-201-1/+4
generated by cgit (git 2.34.1) at 2024-06-30 22:36:12 +0000