]> git.ipfire.org Git - people/ms/gcc.git/commit
d: Fix ICE on named continue label in an unrolled loop [PR107592]
authorIain Buclaw <ibuclaw@gdcproject.org>
Fri, 11 Nov 2022 23:54:47 +0000 (00:54 +0100)
committerIain Buclaw <ibuclaw@gdcproject.org>
Wed, 30 Nov 2022 14:36:14 +0000 (15:36 +0100)
commit031d3f095520f0e1ee03e29b7ad5067c2a3f96e0
tree2e258bdfb175613a8573c7b703ce8afcf72a4feb
parentd0a3d55ae4a2656f7c306c9345ba14853b4075d5
d: Fix ICE on named continue label in an unrolled loop [PR107592]

Continue labels in an unrolled loop require a unique label per
iteration.  Previously this used the Statement body node for each
unrolled iteration to generate a new entry in the label hash table.
This does not work when the continue label has an identifier, as said
named label is pointing to the outer UnrolledLoopStatement node.

What would happen is that during the lowering of `continue label', an
automatic label associated with the unrolled loop would be generated,
and a jump to that label inserted, but because it was never pushed by
the visitor for the loop itself, it subsequently never gets emitted.

To fix, correctly use the UnrolledLoopStatement as the key to look up
and store the break/continue label pair, but remove the continue label
from the value entry after every loop to force a new label to be
generated by the next call to `push_continue_label'

PR d/107592

gcc/d/ChangeLog:

* toir.cc (IRVisitor::push_unrolled_continue_label): New method.
(IRVisitor::pop_unrolled_continue_label): New method.
(IRVisitor::visit (UnrolledLoopStatement *)): Use them instead of
push_continue_label and pop_continue_label.

gcc/testsuite/ChangeLog:

* gdc.dg/pr107592.d: New test.
gcc/d/toir.cc
gcc/testsuite/gdc.dg/pr107592.d [new file with mode: 0644]