On 21/01/16 11:05, Andreas Krebbel wrote:
On 01/02/2016 08:16 PM, Marcin Kościelnicki wrote:
When an unconditional jump with side effects targets an immediately
following label, rtl_tidy_fallthru_edge is called. Since it has side
effects, it doesn't remove the jump, but the label is still marked
as fallthru. This later causes a verification error. Do nothing in this
case instead.
gcc/ChangeLog:
* cfgrtl.c (rtl_tidy_fallthru_edge): Bail for unconditional jumps
with side effects.
The change looks ok to me (although I'm not able to approve it). Could you
please run regressions
tests on x86_64 with that change?
Perhaps a short comment in the code would be good.
-Andreas-
OK, I'll run the testsuite and add a comment.