aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* 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-062-10/+19
* Make it possible to use the "__packed__" keyword as an attribute namexleroy2013-11-051-0/+1
* Eliminate unreferenced inline functionsxleroy2013-10-281-2/+4
* Revise parsing of character constants for conformance with ISO C 99.xleroy2013-10-252-12/+14
* Typing of integer literals: follow C99 rules exactly.xleroy2013-10-211-28/+29
* PackedStructs.ml: cleanups and bug-fixesxleroy2013-10-132-15/+17
* Merge of the "alignas" branch.xleroy2013-10-058-257/+211
* Follow-up to commit 2339:xleroy2013-10-051-1/+1
* Elab:xleroy2013-10-042-29/+34
* Bad printing of alignment on 'comm' symbols.xleroy2013-07-071-2/+2
* Recognize attribute((packed)) after a "struct {...}" and not just between "st...xleroy2013-06-213-18/+39
* Support __attribute__(ident) where ident is not bound. Useful for GCC compat...xleroy2013-05-131-3/+6
* Revert suppression of __builtin_{read,write}_reversed for x86 and ARM,xleroy2013-04-293-33/+49
* Add __builtin_bswap16 and __builtin_bswap32 to all ports.xleroy2013-04-201-15/+35
* Updatedxleroy2013-03-262-18/+23
* Better locations for error messages relative to type specifiers.xleroy2013-03-251-14/+9
* Remove the C primitives for unsigned long long arithmetic, replacedxleroy2013-03-183-44/+25
* Suppress int64_unsigned_to_float, now unused.xleroy2013-03-112-7/+0
* Support for inline assembly (asm statements).xleroy2012-12-1816-71/+198
* Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)xleroy2012-11-0310-86/+84
* Update cparser/Makefile (fix by Jacques-Henri Jourdan)xleroy2012-11-032-28/+28
* 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
generated by cgit (git 2.34.1) at 2024-06-11 23:14:12 +0000