aboutsummaryrefslogtreecommitdiffstats
path: root/Changelog
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2015-06-11 11:17:41 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2015-06-11 11:17:41 +0200
commit15bac6d799c0ca6239967d34261de5b787caa868 (patch)
treeb8cd3d370cf4c8ed967ff232e2a0c8b6ecc57d48 /Changelog
parent744dc278d24b15a72ef471fc25c1c8a8df62cc4e (diff)
downloadcompcert-kvx-15bac6d799c0ca6239967d34261de5b787caa868.tar.gz
compcert-kvx-15bac6d799c0ca6239967d34261de5b787caa868.zip
Update for release 2.5.
Diffstat (limited to 'Changelog')
-rw-r--r--Changelog17
1 files changed, 11 insertions, 6 deletions
diff --git a/Changelog b/Changelog
index ccd77487..c0810c2a 100644
--- a/Changelog
+++ b/Changelog
@@ -1,4 +1,4 @@
-Release 2.5, 2015-06-xx
+Release 2.5, 2015-06-12
=======================
Language features:
@@ -38,20 +38,25 @@ Usability:
- Revised handling of arguments to __builtin_annot so that no code
is generated for an argument that is a global variable or a local
variable whose address is taken.
-- In string and character literals, treat illegal escape sequences
+- In string and character literals, treat illegal escape sequences
(e.g. "\%" or "\0") as an error instead of a warning.
- Warn if floating-point literals overflow or underflow when converted
to FP numbers.
-- cchecklink: added option "-files-from" to read .sdump file names
- from a file or from standard input.
-- In "-g -S" mode, annotate the generated .s file with comments
+- 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,
__volatile__, etc.
+- cchecklink: added option "-files-from" to read .sdump file names
+ from a file or from standard input.
ABI conformance:
- Improved ABI conformance for passing values of struct or union types
- as function arguments or results.
+ as function arguments or results. Full conformance is achieved on
+ IA32/ELF, IA32/MacOSX, PowerPC/EABI, PowerPC/Linux, and ARM/EABI.
- Support the "va_arg" macro from <stdarg.h> in the case of arguments
of struct or union types.