diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-16 13:53:12 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-16 13:53:12 +0100 |
| commit | 380ef884523013fd02fe1c52b05d3b2a5b0b8818 (patch) | |
| tree | 915a21c50c6c39a6b7b5fa3201d12d09f9d8ddae /cparser/Cflow.ml | |
| parent | 70ec998cfda48dcef37368cf2712736949e378fc (diff) | |
| download | compcert-380ef884523013fd02fe1c52b05d3b2a5b0b8818.tar.gz compcert-380ef884523013fd02fe1c52b05d3b2a5b0b8818.zip | |
Fixed problem with local structs/unions in Cflow.
Since the function environment does not necessary contain structs
and unions defined in sizeof expressions the evaluation should be
not constant and the Environment excpetions should be catched.
Fix 21005
Diffstat (limited to 'cparser/Cflow.ml')
0 files changed, 0 insertions, 0 deletions