summaryrefslogtreecommitdiff
path: root/cfrontend
Commit message (Expand)AuthorAge
* Tolerance in parsing of 'section' pragmaGravatar xleroy2014-09-17
* More careful detection of inlined builtins. Produces better error messages i...Gravatar xleroy2014-08-25
* Support C99 compound literals (by expansion in Unblock pass).Gravatar xleroy2014-08-21
* Issue with switch labels that are negative 32-bit integers.Gravatar xleroy2014-08-17
* - Support "switch" statements over 64-bit integersGravatar xleroy2014-08-17
* All targets: add __builtin_membarGravatar xleroy2014-07-28
* Merge of "newspilling" branch:Gravatar xleroy2014-07-23
* Cleaner, more resilient parsing of pragmas.Gravatar xleroy2014-06-05
* - Re-added support for "__func__" identifier as per ISO C99.Gravatar xleroy2014-05-15
* Clean-up pass on C types:Gravatar xleroy2014-04-23
* Continued: change typeconv t into incrdecr_type t for Epostincr.Gravatar xleroy2014-04-16
* Use "incrdecr_type ty" instead of "typeconv ty" as the intermediate typeGravatar xleroy2014-04-15
* Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...Gravatar xleroy2014-04-09
* __builtin_absfloat can be applied to integers too.Gravatar xleroy2014-03-29
* C: Support array initializers that are too short + default init for remainder.Gravatar xleroy2014-03-28
* Support array initialization lists that are too shortGravatar xleroy2014-03-18
* Beautify the output.Gravatar xleroy2014-02-21
* Remove useless checks on type_of_global in dynamic semanticsGravatar xleroy2014-02-20
* Better printing of integer literals: add U and LL suffixes when needed.Gravatar xleroy2014-01-12
* Introduce and use the platform-specific Archi module giving:Gravatar xleroy2014-01-03
* Incomplete types are OK for 'extern' global variables.Gravatar xleroy2014-01-02
* Fine hair splitting depending on whether va_list is a scalar type (IA32, ARM)...Gravatar xleroy2014-01-01
* Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...Gravatar xleroy2014-01-01
* Ctypes.sizeof ty = 0 for empty types ty (zero-sized array, empty struct/union).Gravatar xleroy2013-12-30
* Improved detection of variables with incomplete types.Gravatar xleroy2013-12-30
* More tolerance for functions declared without a prototypeGravatar xleroy2013-12-28
* Check in C2C that packed structs were properly emulated.Gravatar xleroy2013-12-28
* Removed obsolete check on aligned fields.Gravatar xleroy2013-12-28
* Simpler, more robust emulation of calls to variadic functions:Gravatar xleroy2013-12-28
* Support "default" cases in the middle of a "switch", not just at the end.Gravatar xleroy2013-12-21
* Merge of branch value-analysis.Gravatar xleroy2013-12-20
* Revised semantics of external functions, continued:Gravatar xleroy2013-11-18
* Revised modeling of external functions and built-in functions: just axiomatizeGravatar xleroy2013-11-17
* powerpc/: new unary operation "addsymbol"Gravatar xleroy2013-11-17
* Suppress warning on derefering volatile composites, because of false positives.Gravatar xleroy2013-11-10
* Cleaner printing of global variables.Gravatar xleroy2013-11-09
* - Recognize __builtin_fabs as an operator, not just a builtin,Gravatar xleroy2013-11-06
* Revised treatment of _Alignas, for better compatibility with GCC and Clang, a...Gravatar xleroy2013-11-06
* Error for 'switch' on a 64-bit integer argument.Gravatar xleroy2013-11-04
* Warn for volatile accesses to compositesGravatar xleroy2013-10-16
* Merge of the "alignas" branch.Gravatar xleroy2013-10-05
* Change the way arguments to __builtin_annot are converted. Use the same conv...Gravatar xleroy2013-09-14
* Revised handling of int->float conversions:Gravatar xleroy2013-07-08
* Bad printing of alignment on 'comm' symbols.Gravatar xleroy2013-07-07
* Treat casts int64 -> float32 as primitive operations instead of twoGravatar xleroy2013-07-03
* Merge of the "princeton" branch:Gravatar xleroy2013-06-16
* Merge of the float32 branch: Gravatar xleroy2013-05-19
* Issue with simplification of nested ?: expressions of different types.Gravatar xleroy2013-05-19
* Preliminary support for debugging info (-g).Gravatar xleroy2013-05-17
* "->" can be applied to an array, not just a pointer.Gravatar xleroy2013-05-16