From 8d40eb315976d05fe9d1d60b654b5523c8830a67 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 16 Dec 2009 13:28:14 +0000 Subject: MAJ Changes git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1199 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- Changelog | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'Changelog') 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. -- cgit v1.2.3