MAJ Changes

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1199 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 14 insertions, 0 deletions

diff --git a/Changelog b/Changelog
index f2ed641..5a58dcd 100644
--- a/Changelog
+++ b/Changelog
@@ -1,8 +1,22 @@
+Release 1.6, 2009-12-18
+=======================
+
 - Support Clight initializers of the form "int * x = &y;".
 
 - Fixed spurious compile-time error on Clight initializers of the form
   "const enum E x[2] = { E_1, E_2 };".
 
+- Produce informative error message if a 'return' without argument
+  occurs in a non-void function, or if a 'return' with an argument
+  occurs in a void function.
+
+- Preliminary support for '#pragma section' and '#pragma set_section'.
+
+- Preliminary support for small data areas in PowerPC code generator.
+
+- Back-end: added support for jump tables; used them to compile
+  dense 'switch' statements.
+
 - PowerPC code generator: force conversion to single precision before
   doing a "store single float" instruction.