From 3ec022950ec233a2af418aacd1755fce4d701724 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 19 Feb 2014 09:55:45 +0000 Subject: Add option -Os to optimize for code size rather than for execution speed. Refactored compilation flags that affect the Coq part (module Compopts). Added support for C99 for loops with declarations. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2410 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- Changelog | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Changelog') diff --git a/Changelog b/Changelog index d02866a..8984ee8 100644 --- a/Changelog +++ b/Changelog @@ -27,6 +27,8 @@ Language features: just as the last case. - Support for incomplete array as last field of a struct, as specified in ISO C 99. +- Support for declarations within 'for' loops, as specified in ISO C 99. + (E.g. "for (int i = 0; i < 4; i++) ...") - Revised semantics and implementation of _Alignas(N) attribute to better match those of GCC and Clang. - Better tolerance for functions declared without prototypes -- cgit v1.2.3