Support "default" cases in the middle of a "switch", not just at the end.

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

1 files changed, 6 insertions, 1 deletions

diff --git a/Changelog b/Changelog
index d4842a9..238ae39 100644
--- a/Changelog
+++ b/Changelog
@@ -6,7 +6,12 @@
 - Fixed syntax error in __attribute__((__packed__)).
 - Emit clean compile-time error for 'switch' over a value of 64-bit
   integer type (currently not supported).
-
+- More precise static analysis of RTL: value analysis (including alias
+  analysis) and neededness analysis.
+- Improved optimizations: constant propagation and CSE.
+- New optimization: removal of partially dead code.
+- A "default" case can now appear anywhere in a "switch", not just as
+  the last case.
 
 Release 2.1, 2013-10-28
 =======================