Honor "static" modifier on C globals.

Put "const" globals in read-only section.
Revised printing of rlwinm instruction.


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

1 files changed, 2 insertions, 0 deletions

diff --git a/Changelog b/Changelog
index e3deb968..3e6840d9 100644
--- a/Changelog
+++ b/Changelog
@@ -13,6 +13,8 @@ Release 1.4,
 - Clight: added support for conditional expressions (a ? b : c);
   removed support for array accesses a[i], now a derived form.
 
+- C front-end: honor "static" modifiers on globals.
+
 - New optimization over RTL: turning calls into tail calls when possible.
 
 - Instruction selection pass: elimination of redundant casts following