diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-12-15 12:16:16 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-12-15 12:16:16 +0100 |
| commit | dd34b354f8c29f318204d74780f8ebc00be443df (patch) | |
| tree | 44f561c35aed459755ed63d22b61f3e060c16be8 /driver/Driver.ml | |
| parent | ab6c84c6caa819328018e9e8629c9ecc6802dcd3 (diff) | |
| download | compcert-dd34b354f8c29f318204d74780f8ebc00be443df.tar.gz compcert-dd34b354f8c29f318204d74780f8ebc00be443df.zip | |
Fallthrough no depends on the last instruction.
Since the test for emit constants has moved before the printing of
the instruction the no_fallthrough of the last test should be used.
Bug 20598
Diffstat (limited to 'driver/Driver.ml')
0 files changed, 0 insertions, 0 deletions