diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-06-11 17:38:39 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-06-11 17:38:39 +0200 |
commit | a46f192841298b3246de267f73099d41d46212e4 (patch) | |
tree | 6f31b38b3143536ac7b285370f88c43df49f1ff2 | |
parent | 702adfde11a7d44a78227de9d44f1038c8b57fdb (diff) | |
download | compcert-a46f192841298b3246de267f73099d41d46212e4.tar.gz compcert-a46f192841298b3246de267f73099d41d46212e4.zip |
More updates for release 2.5.
-rw-r--r-- | Changelog | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -42,10 +42,6 @@ Usability: (e.g. "\%" or "\0") as an error instead of a warning. - Warn if floating-point literals overflow or underflow when converted to FP numbers. -- Added missing check for static redefinition following a non-static - declaration. -- Added missing check for redefinition of a typedef as an ordinary - identifier within the same scope. - In "-g -S" mode, annotate the generated .s file with comments containing the C source code. - Recognize and accept more of GCC's alternate keywords, e.g. __signed, @@ -82,6 +78,11 @@ Bug fixing: - Issue #44: OSX assembler does not recognize ".global" directive. - Protect against redefinition of the __i64_xxx helper library functions. - Revised handling of nonstandard attributes in C type compatibility check. +- Emit an error on "preprocessing numbers" that are invalid numerical literals. +- Added missing check for static redefinition following a non-static + declaration. +- Added missing check for redefinition of a typedef as an ordinary + identifier within the same scope. Miscellaneous: - When preprocessing with gcc or clang, use "-std=c99" mode to force |