diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-23 10:50:48 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-23 10:50:48 +0200 |
commit | c3c0aba2ed285bc33208cfc67667f47d6d1b0762 (patch) | |
tree | 666ace2761c58fde7fabd3668dda1d29540def5e /common/Memtype.v | |
parent | e829671ab99a98dca212c6f29d29b952dbc1fa80 (diff) | |
download | compcert-c3c0aba2ed285bc33208cfc67667f47d6d1b0762.tar.gz compcert-c3c0aba2ed285bc33208cfc67667f47d6d1b0762.zip |
Fix for initialization of incomplete types
Since some incomplete types are allowed in initialization just
test whether the default initilization exists.
Bug 19601
Diffstat (limited to 'common/Memtype.v')
0 files changed, 0 insertions, 0 deletions