aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Elab.ml
Commit message (Expand)AuthorAgeFilesLines
* Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-24/+24
* 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
* Improve error detection and error messages for enums.xleroy2014-08-171-3/+7
* Spurious error on a local static function declarationxleroy2014-08-131-0/+1
* In enter_or_refine_ident: revised handling of "extern" decls.xleroy2014-05-181-29/+38
* Another corner case for string literal initializers: char * x[] = { "lit" }xleroy2014-05-181-1/+2
* - Re-added support for "__func__" identifier as per ISO C99.xleroy2014-05-151-1/+12
* Assorted fixes to fix parsing issues and be more GCC-like:xleroy2014-05-121-108/+44
* Incorrect conversion of K&R functions. Example of problem:xleroy2014-05-121-2/+3
* Fix string litteral parsingjjourdan2014-05-111-2/+3
* Fixed regression on initializers of the form T x[N] = "literal";xleroy2014-05-081-8/+10
* Stern warning on non-prototype function definitions.xleroy2014-05-051-0/+1
* Support for old-style K&R function definitions.xleroy2014-05-051-0/+46
* Integration of Jacques-Henri Jourdan's verified parser.xleroy2014-04-291-306/+375
* Clean-up pass on C types:xleroy2014-04-231-12/+14
* Merge of branch linear-typing:xleroy2014-04-061-5/+2
* C: Support array initializers that are too short + default init for remainder.xleroy2014-03-281-129/+313
generated by cgit (git 2.34.1) at 2024-06-29 04:28:29 +0000