aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Elab.ml
Commit message (Expand)AuthorAgeFilesLines
* 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
* - Support for _Alignof(ty) operator from ISO C 2011xleroy2012-02-261-19/+12
* Merge of the "volatile" branch:xleroy2012-02-041-2/+2
* Corrected initialization of char arrays by string literals.xleroy2011-10-171-24/+23
* arm/PrintAsm: don't generate "vfd" directive, useless?xleroy2011-08-221-7/+7
* Wrong check: &e must be rejected if e has array type and is not a l-value.xleroy2011-08-211-8/+5
* Check for duplicate label definitionsxleroy2011-07-181-7/+11
* More precise typechecking of statementsxleroy2011-07-171-33/+75
* Revised handling of annotation statements, and more generally built-in functi...xleroy2011-06-131-11/+0
* Silence a warning that happens all too often in MacOS Xxleroy2011-05-121-2/+2
* cparser: support for attributes over struct and union.xleroy2011-05-121-17/+22
generated by cgit (git 2.34.1) at 2024-06-29 01:08:24 +0000