Re: [PATCH] tree-cfg: Fix up gimple_merge_blocks FORCED_LABEL handling [PR99034]

2021-02-19 Thread Richard Biener
On Fri, 19 Feb 2021, Jakub Jelinek wrote: > Hi! > > The verifiers require that DECL_NONLOCAL or EH_LANDING_PAD_NR > labels are always the first label if there is more than one label. > > When merging blocks, we don't honor that though. > On the following testcase, we try to merge blocks: > [cou

[PATCH] tree-cfg: Fix up gimple_merge_blocks FORCED_LABEL handling [PR99034]

2021-02-19 Thread Jakub Jelinek via Gcc-patches
Hi! The verifiers require that DECL_NONLOCAL or EH_LANDING_PAD_NR labels are always the first label if there is more than one label. When merging blocks, we don't honor that though. On the following testcase, we try to merge blocks: [count: 0]: : S::~S (&s); and [count: 0]: : resx 1 where is