diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-05-15 07:27:56 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-05-15 07:27:56 +0000 |
commit | b30f9ce6a87e94b34c1420323e445c07eee8305e (patch) | |
tree | da5f7a1b52ed61b4dda6d01b8c1a71193279601e /Changelog | |
parent | edc00e0c90a5598f653add89f42a095d8ee1b629 (diff) | |
download | compcert-b30f9ce6a87e94b34c1420323e445c07eee8305e.tar.gz compcert-b30f9ce6a87e94b34c1420323e445c07eee8305e.zip |
- Re-added support for "__func__" identifier as per ISO C99.
- Support for empty structs and unions
- Better handling of "extern" and "extern inline" function definitions.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2493 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'Changelog')
-rw-r--r-- | Changelog | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -1,11 +1,17 @@ Usability: -- Re-added alternate keywords __restrict, __inline__, etc, - for GCC compatibility. +- Re-added support for "__func__" identifier as per ISO C99. +- Re-added some popular GCC extensions to ISO C99: + . alternate keywords __restrict, __inline__, etc, + . support for empty structs and unions + . support '\e' escape in char and string literals, meaning ESC - Do not assume that the preprocessor removed all comments. Bug fixing: - Fixed regression on initializers of the form T x[N] = "literal"; where T is a typedef for a character type. +- "asm" statements were causing syntax errors. +- Better handling of "extern" and "extern inline" function definitions. +- Internal error on some octal escape sequences in string literals. Release 2.3, 2014-05-05 ======================= |