aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Elab.ml
Commit message (Expand)AuthorAgeFilesLines
* 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
* Add option -Os to optimize for code size rather than for execution speed.xleroy2014-02-191-9/+15
* Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...xleroy2014-01-011-4/+8
* Catch and report Env errors arising out of some Cutil functionsxleroy2013-12-301-7/+8
* Elab.ml: more warnings.xleroy2013-12-301-4/+9
* Improved detection of variables with incomplete types.xleroy2013-12-301-4/+9
* Simpler, more robust emulation of calls to variadic functions:xleroy2013-12-281-2/+3
* Revise parsing of character constants for conformance with ISO C 99.xleroy2013-10-251-12/+13
* Typing of integer literals: follow C99 rules exactly.xleroy2013-10-211-28/+29
* Merge of the "alignas" branch.xleroy2013-10-051-1/+20
* Follow-up to commit 2339:xleroy2013-10-051-1/+1
* Elab:xleroy2013-10-041-22/+27
* Recognize attribute((packed)) after a "struct {...}" and not just between "st...xleroy2013-06-211-18/+31
* Support __attribute__(ident) where ident is not bound. Useful for GCC compat...xleroy2013-05-131-3/+6
* Better locations for error messages relative to type specifiers.xleroy2013-03-251-14/+9
* Support for inline assembly (asm statements).xleroy2012-12-181-32/+44
* Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)xleroy2012-11-031-18/+17
* checklink: first import of Valentin Robert's validator for asm and linkxleroy2012-03-281-4/+4
generated by cgit (git 2.34.1) at 2024-07-01 04:14:21 +0000