On Wed, May 25, 2011 at 7:21 PM, Jakub Jelinek wrote:
> Hi!
>
> The following testcase is miscompiled, because there are multiple
> CASE_LABELs for the same target bb in a switch:
> :
> switch (x_1(D)) , case 3: l4, case 4: l1, case 6: l3>
>
> l3:
> bar (-1);
>
> l2:
> l1:
> l4:
> bar (0);
>
>
Hi!
The following testcase is miscompiled, because there are multiple
CASE_LABELs for the same target bb in a switch:
:
switch (x_1(D)) , case 3: l4, case 4: l1, case 6: l3>
l3:
bar (-1);
l2:
l1:
l4:
bar (0);
find_switch_asserts sorts by uids of CASE_LABELs and adds x_1(D) == 4
as well as
