diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-05-07 16:36:41 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-05-10 15:05:09 +0200 |
commit | 99918e4118e0ea644b20e37a13ceb31d935fdda5 (patch) | |
tree | c38a5ae953274a9cab253e969440f064c7912bc2 /cfrontend | |
parent | 1eaf745c5e4e32784a8e919b1a82d4d725036214 (diff) | |
download | compcert-99918e4118e0ea644b20e37a13ceb31d935fdda5.tar.gz compcert-99918e4118e0ea644b20e37a13ceb31d935fdda5.zip |
Reworked elaboration of declarations/definitions.
Since a definition/declaration is completed with after the
separator to the next init group member it is also possible to
use it for example in the next init group member:
char s[]="miaou", buf[sizeof s];
In order to ensure that this works the declarations are added to
the environment directly during the elaboration of the init member
group instead of later.
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions