aboutsummaryrefslogtreecommitdiffstats
path: root/Changelog
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2018-05-30 14:06:23 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2018-05-30 14:06:23 +0200
commit07caf778d7536392c7bc08216b900a1d2387dfb2 (patch)
tree788ae69be48b91988a88452a9751d1b961cb3a2f /Changelog
parent0f218739cb6252012922863e92d8b12cb3e66b48 (diff)
downloadcompcert-kvx-07caf778d7536392c7bc08216b900a1d2387dfb2.tar.gz
compcert-kvx-07caf778d7536392c7bc08216b900a1d2387dfb2.zip
Changelog: minor updates for 3.3
Diffstat (limited to 'Changelog')
-rw-r--r--Changelog11
1 files changed, 4 insertions, 7 deletions
diff --git a/Changelog b/Changelog
index 1b1db012..570f2c0e 100644
--- a/Changelog
+++ b/Changelog
@@ -9,26 +9,23 @@ New features:
define the max_align_t type in stddef.h.
- PowerPC 64-bit port: new built-in functions for 64-bit load-store with
byte reversal and for 64-bit integer multiply high.
-- x86 64-bit port: add support for BSD.
+- x86 64 bits: add support for BSD.
Bug fixing:
- Wrong code generated for unions containing several bit fields.
- Internal compiler errors for some initializers for structs and
- unions containing bit-fields.
-- Internal compiler errors for some initializers for anonymous members
- of unions.
+ unions containing bit-fields, and for anonymous members of unions.
- Missing error reporting for <integer> - <ptr> subtraction,
causing an internal retyping error later during compilation.
- String literals are l-values.
- String literals have array types, not pointer types.
-- Array dimensions >= 2^32 were handled incorrectly on 64-bit platforms.
+- Array sizes >= 2^32 were handled incorrectly on 64-bit platforms.
- Wrong code generated for global variables of size 2^31 bytes or more.
- struct and union arguments to annotation builtins must be passed by
reference, regardless of the ABI calling conventions.
- "e1, e2" has pointer type if "e2" has array type.
-- x86, 64 bits: in "symbol + ofs" addressing modes, the offset "ofs"
+- x86 64 bits: in "symbol + ofs" addressing modes, the offset "ofs"
must be limited to [-2^24, 2^24) otherwise linking can fail.
-- exportclight: bad printing of Init_addrof.
New or improved diagnostics (errors and warnings):
- Warn for comparison of a pointer to a complete type and a pointer to