aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Cutil.ml
Commit message (Expand)AuthorAgeFilesLines
...
* Fixed typo in equal types.Bernhard Schommer2016-03-101-1/+1
* Make void always incomplete and exit on void members.Bernhard Schommer2016-02-021-1/+6
* Allow adding of attributes in valid_assignment_attr.Bernhard Schommer2016-01-281-2/+2
* Enum is compatible to its integer type.Bernhard Schommer2015-12-171-0/+3
* Remove debug stmts during grouping of switch.Bernhard Schommer2015-11-061-4/+12
* bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-19/+19
* Move strip functions to Cutil.Bernhard Schommer2015-10-121-0/+42
* Allow redefinition of a typedef with the same name.Bernhard Schommer2015-10-041-0/+36
* Move more functionality in the new interface.Bernhard Schommer2015-09-161-1/+20
* Diab defines w_char to be unsigned short.Bernhard Schommer2015-07-071-1/+2
* Detect and reject "&" operator applied to "register" local variable or to a b...Xavier Leroy2015-04-281-0/+13
* Extended inline asm: handle missing cases.Xavier Leroy2015-04-281-2/+8
* "ecomma" smart constructor: reassociate to the left so that it prints more ni...Xavier Leroy2015-03-201-2/+8
* ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-271-0/+70
* Delay reads from !Machine.config before it is properly initialized.Xavier Leroy2015-01-221-20/+12
* Revised type compatibility check w.r.t. handling of attributes.Xavier Leroy2015-01-011-35/+61
* PR#6: fix handling of wchar_t and assignments from wide string literals.Xavier Leroy2014-12-301-3/+15
* Support C99 compound literals (by expansion in Unblock pass).xleroy2014-08-211-0/+1
* Clean-up pass on C types:xleroy2014-04-231-5/+15
* C: Support array initializers that are too short + default init for remainder.xleroy2014-03-281-0/+28
* Elab.ml: more warnings.xleroy2013-12-301-2/+7
* Simpler, more robust emulation of calls to variadic functions:xleroy2013-12-281-1/+1
* Bring sizeof and alignof in sync with cfrontend/Ctypes.xleroy2013-12-111-22/+18
* Revised treatment of _Alignas, for better compatibility with GCC and Clang, a...xleroy2013-11-061-9/+18
* Merge of the "alignas" branch.xleroy2013-10-051-0/+26
* Recognize attribute((packed)) after a "struct {...}" and not just between "st...xleroy2013-06-211-0/+6
* Support for inline assembly (asm statements).xleroy2012-12-181-13/+37
* Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)xleroy2012-11-031-4/+5
* checklink: first import of Valentin Robert's validator for asm and linkxleroy2012-03-281-1/+1
* Interp: help debug stuck expressionsxleroy2012-02-101-1/+1
* More cleanups in packed struct emulation.xleroy2011-10-161-0/+1
* Revised emulation of packed structsxleroy2011-10-161-1/+3
* arm/PrintAsm: don't generate "vfd" directive, useless?xleroy2011-08-221-11/+20
* SimplVolatile: new pass to eliminate read-modify-write ops over volatilesxleroy2011-08-181-2/+10
* cparser: support for attributes over struct and union.xleroy2011-05-121-8/+26
* Revised handling of GCC attributes. Preliminary, untested support for __alig...xleroy2011-04-141-1/+9
* Inconsistent treatment of "lone" zero-width bit fieldsxleroy2010-09-241-10/+12
* Bugs with 1- empty bitfields, 2- anonymous bitfields, 3- result type of readi...xleroy2010-09-011-0/+26
* Merge of branches/full-expr-4:xleroy2010-08-181-2/+13
* Bug fix: infinite loop in cparser/ on bit field of size 32 bits.xleroy2010-04-091-37/+28
* Switching to the new C parser/elaborator/simplifierxleroy2010-03-031-0/+700