aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* checklink: first import of Valentin Robert's validator for asm and linkxleroy2012-03-2811-14/+36
* Cprint: export Cprint.attributesxleroy2012-03-072-6/+25
* Problems with multiple declarations of publically-visible identifiersxleroy2012-02-292-10/+22
* 'typeof' is not a keywordxleroy2012-02-291-0/+2
* - Support for _Alignof(ty) operator from ISO C 2011xleroy2012-02-2610-19/+27
* Interp: help debug stuck expressionsxleroy2012-02-103-5/+4
* Merge of the "volatile" branch:xleroy2012-02-0413-1243/+31
* cparser/*: refactoring of the expansion of read-modify-write operatorsxleroy2011-11-268-225/+342
* Corrected initialization of char arrays by string literals.xleroy2011-10-171-24/+23
* More cleanups in packed struct emulation.xleroy2011-10-162-14/+18
* Revised emulation of packed structsxleroy2011-10-162-56/+53
* arm/PrintAsm: don't generate "vfd" directive, useless?xleroy2011-08-224-20/+31
* Wrong check: &e must be rejected if e has array type and is not a l-value.xleroy2011-08-211-8/+5
* Presimplification SimplVolatile: cleaned up and integrated.xleroy2011-08-181-12/+18
* SimplVolatile: new pass to eliminate read-modify-write ops over volatilesxleroy2011-08-1810-169/+265
* Factor out bind_lvaluexleroy2011-08-173-41/+20
* More vigorous scrubbing of r-value structsxleroy2011-08-091-12/+8
* Improved treatment of structs/unions as r-valuesxleroy2011-08-082-21/+47
* Added animation of the CompCert C semantics (ccomp -interp)xleroy2011-07-281-27/+23
* Check for duplicate label definitionsxleroy2011-07-181-7/+11
* More precise typechecking of statementsxleroy2011-07-171-33/+75
* In conditional expressions e1 ? e2 : e3, cast the results of e2 and e3 to the...xleroy2011-07-161-1/+3
* 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-1217-135/+613
* cparser/StructAssign: always use __builtin_memcpy + alignment indicationxleroy2011-05-111-87/+53
* powerpc/PrintAsm.ml arm/PrintAsm.ml: updated (no label elimination).xleroy2011-05-081-2/+0
* Added pass CleanupLabels to remove unreferenced labels in a proved way.xleroy2011-05-081-0/+1
* Support compile-time constant expressions as arguments to gcc-style attributesxleroy2011-04-201-23/+30
* Use memcpy_word only if alignment AND size are multiples of word size.xleroy2011-04-171-3/+5
* cparser/Elab: __attribute, not attributexleroy2011-04-161-1/+1
* Revised handling of GCC attributes. Preliminary, untested support for __alig...xleroy2011-04-143-17/+34
* Revised handling of sizeof(string-literal)xleroy2011-03-151-5/+12
* Bitfields: MSB-to-LSB in addition to LSB-to-MSBxleroy2011-03-103-11/+39
* In StructAssign: be careful not to duplicate accesses to a volatile variable.xleroy2010-11-101-8/+10
* Inconsistent treatment of "lone" zero-width bit fieldsxleroy2010-09-242-23/+31
* Updates for IA32-Cygwin.xleroy2010-09-081-1/+1
* Adding __builtin_annotationxleroy2010-09-011-0/+11
* Bugs with 1- empty bitfields, 2- anonymous bitfields, 3- result type of readi...xleroy2010-09-015-15/+68
* Merge of branches/full-expr-4:xleroy2010-08-187-194/+440
* Wrong cast in constant_exprxleroy2010-08-041-3/+3
* Preliminary support for gcc-style __attribute__ over typesxleroy2010-07-086-135/+168
* Bug in cparser/AddCasts.ml.xleroy2010-07-081-3/+4
* __builtin_memcpy, continued.xleroy2010-04-171-9/+18
* Support __builtin_memcpy; use it for struct assignmentxleroy2010-04-172-30/+26
* Bug fix: infinite loop in cparser/ on bit field of size 32 bits.xleroy2010-04-098-54/+50
* Static initialization of structs with bitfieldsxleroy2010-04-071-1/+74
* In cparser/SimplExpr.ml:xleroy2010-04-021-11/+15
* cparser/AddCasts.ml: forgot to materialize cast at return statement.xleroy2010-04-011-12/+12
* Handling of builtins, continued.xleroy2010-03-073-4/+9
generated by cgit (git 2.34.1) at 2024-06-02 14:52:46 +0000