On 09/04/2015 09:19 AM, Robert Suchanek wrote:
It appears that a possibly related issue is already reported to Bugzilla (bug
51513)
where the branch is not optimized away, leaving the compare and branch
instructions.
It would also appear that this should be fixed at the tree level, however,
Robert Suchanek
> IMO, the fix is to recognize the empty basic block that has a code_label
> followed by a barrier (ignoring notes and debug_insns), forbid going
> beyond the barrier if the empty block is found in
> skip_consecutive_labels () and first_active_target_insn ().
I can't approve this
