diff options
author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-04-06 15:56:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-06 15:56:05 +0200 |
commit | e226562cf531906ecd6510c4767316b07ef451f6 (patch) | |
tree | 6343e470c1bd7adf43279667bde29bedb640f2ac /lib/Readconfig.mli | |
parent | df7b43a096e9a274b5b3ba8ca85275c637557c12 (diff) | |
download | compcert-e226562cf531906ecd6510c4767316b07ef451f6.tar.gz compcert-e226562cf531906ecd6510c4767316b07ef451f6.zip |
Reject illegal initializations of aggregates at top-level (#79)
Examples such as the following were accepted but are invalid ISO C:
char c[4] = 42;
struct S { int x, y; } = 42;
This commit rejects such initializations at top-level.
Bug 23372
Diffstat (limited to 'lib/Readconfig.mli')
0 files changed, 0 insertions, 0 deletions