aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend
Commit message (Expand)AuthorAgeFilesLines
* In AST.calling_conventions, record whether the original C function was "old-s...Xavier Leroy2015-05-223-20/+24
* Missing case in type_conditional (long long vs. int or float).Xavier Leroy2015-05-221-6/+3
* Ctyping: better typing of conditional expressions.Xavier Leroy2015-05-213-50/+200
* Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-092-3/+3
* Long-overdue renaming: val_inject -> Val.inject, etc, for consistency with Va...Xavier Leroy2015-04-304-80/+80
* Warn if a nonzero FP literal converts to infinity (overflow) or to 0 (underfl...Xavier Leroy2015-04-251-3/+17
* Use Cerrors for error reporting instead of rolling our own reporting in C2C.Xavier Leroy2015-04-211-11/+5
* Printing of EF_inline_asm builtins in GCC extended asm syntax.Xavier Leroy2015-04-211-0/+30
* Support for GCC-style extended asm, continued:Xavier Leroy2015-04-212-81/+16
* Experiment: support a subset of GCC's extended asm statements.Xavier Leroy2015-04-172-10/+101
* Merge pull request #34 from AbsInt/extended-annotationsXavier Leroy2015-04-012-5/+4
|\
| * Updated the Caml part. Added some more tests in annot1.c.Xavier Leroy2015-03-271-2/+1
| * Extended arguments to annotations, continued:Xavier Leroy2015-03-271-3/+3
* | Merge pull request #31 from AbsInt/null-ptr-cmpXavier Leroy2015-04-0113-128/+182
|\ \
| * | Omission: forgot to treat pointer values in bool_of_val and sem_notbool.Xavier Leroy2015-03-2912-120/+182
| * | Revised semantics of comparisons between a pointer and 0.Xavier Leroy2015-03-154-8/+0
| |/
* | Fix overflows in printers for clight and csyntax.Jacques-Henri Jourdan2015-04-012-2/+2
* | Support va_arg for vararg arguments of composite (struct/union) types.Xavier Leroy2015-03-201-13/+37
|/
* Issue #28: if the arguments of __builtin_memcpy_aligned are arrays, their typ...Xavier Leroy2015-03-101-1/+3
* Interpreter produces more detailed trace, including name of semantic rules used.Xavier Leroy2015-02-082-136/+165
* Merge branch 'named-structs'Xavier Leroy2015-01-2321-1418/+3717
|\
| * Define a nonnegative integer "rank" for types to support structural induction...Xavier Leroy2015-01-102-22/+120
| * Add a type system for CompCert C and type-checking constructor functions.Xavier Leroy2014-12-312-64/+2079
| * Represent struct and union types by name instead of by structure.Xavier Leroy2014-12-2220-1308/+1518
| * Introduce symbol environments (type Senv.t) as a restricted view on global en...Xavier Leroy2014-11-263-44/+20
* | Delay reads from !Machine.config before it is properly initialized.Xavier Leroy2015-01-221-2/+2
* | Protect against redefinition of the __i64_xxx helper library functions.Xavier Leroy2015-01-201-1/+54
* | PR#19: there is no reason to reject an empty "switch" statement.Xavier Leroy2015-01-061-2/+0
* | PR#15: vararg functions are not eligible for inlining.Xavier Leroy2015-01-021-1/+1
* | Translation of wide string literals.Xavier Leroy2015-01-011-6/+57
|/
* Add Genv.public_symbol operation.Xavier Leroy2014-11-245-22/+51
* Record public global definitions via field "prog_public" in AST.program.Xavier Leroy2014-11-243-59/+68
* Revised translation of '&&' and '||' to Clight.Xavier Leroy2014-10-1310-123/+108
* Tolerance in parsing of 'section' pragmaxleroy2014-09-171-0/+3
* More careful detection of inlined builtins. Produces better error messages i...xleroy2014-08-251-0/+1
* Support C99 compound literals (by expansion in Unblock pass).xleroy2014-08-211-0/+2
* Issue with switch labels that are negative 32-bit integers.xleroy2014-08-171-4/+7
* - Support "switch" statements over 64-bit integersxleroy2014-08-1715-57/+102
* All targets: add __builtin_membarxleroy2014-07-281-0/+5
* Merge of "newspilling" branch:xleroy2014-07-2318-249/+460
* Cleaner, more resilient parsing of pragmas.xleroy2014-06-051-55/+25
* - Re-added support for "__func__" identifier as per ISO C99.xleroy2014-05-151-3/+7
* Clean-up pass on C types:xleroy2014-04-234-91/+324
* Continued: change typeconv t into incrdecr_type t for Epostincr.xleroy2014-04-162-3/+3
* Use "incrdecr_type ty" instead of "typeconv ty" as the intermediate typexleroy2014-04-153-7/+18
* Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...xleroy2014-04-091-7/+3
* __builtin_absfloat can be applied to integers too.xleroy2014-03-293-22/+60
* C: Support array initializers that are too short + default init for remainder.xleroy2014-03-283-54/+47
* Support array initialization lists that are too shortxleroy2014-03-182-6/+14
* Beautify the output.xleroy2014-02-211-3/+7
generated by cgit (git 2.34.1) at 2024-06-02 20:50:17 +0000