diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-06 14:38:07 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-06 14:38:07 +0100 |
commit | d0049e3b6bafb3aa88e173c10183b564918de115 (patch) | |
tree | 8031e22caf06c0855f36d9b4214ed3b8ee0dbf15 /cparser/Cutil.ml | |
parent | d9584e32f6b6f3a44d54615c97a5998c0ba6dfd5 (diff) | |
download | compcert-d0049e3b6bafb3aa88e173c10183b564918de115.tar.gz compcert-d0049e3b6bafb3aa88e173c10183b564918de115.zip |
Fix for switch was to eager.
We should not remove any debug stmt inside of the cases. We should
just not warn in the case that init is only debugcalls.
Bug 17850
Diffstat (limited to 'cparser/Cutil.ml')
0 files changed, 0 insertions, 0 deletions