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 /test/spass/doc-proof.h | |
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 'test/spass/doc-proof.h')
0 files changed, 0 insertions, 0 deletions