Displaying 2 results from an estimated 2 matches for "__label".
Did you mean:
p_label
2017 Jan 13
4
Wrong code bug after GVN/PRE?
...that I see is:
In the input we have something like
for (int step1 = 0; step1 < LOOP_AMOUNT; step1++)
{
lb[step1] = step1 + 7;
ub[step1] = (step1 == 0 ? 10: ub[step1-1]*10);
switch(lb[step1]) {
case 7: CVAL_VERIFY(step1 == 0);
CVAL_VERIFY(ub[step1] == 10);
__label(511);
break;
case 8: CVAL_VERIFY(step1 == 1);
CVAL_VERIFY(ub[step1] == 100);
__label(512);
break;
case 9: CVAL_VERIFY(step1 == 2);
CVAL_VERIFY(ub[step1] == 1000);
__label(513);
break;
default:;
}
[...]
}
i...
2017 Jan 13
2
Wrong code bug after GVN/PRE?
...t;> {
>> lb[step1] = step1 + 7;
>> ub[step1] = (step1 == 0 ? 10: ub[step1-1]*10);
>>
>> switch(lb[step1]) {
>> case 7: CVAL_VERIFY(step1 == 0);
>> CVAL_VERIFY(ub[step1] == 10);
>> __label(511);
>> break;
>> case 8: CVAL_VERIFY(step1 == 1);
>> CVAL_VERIFY(ub[step1] == 100);
>> __label(512);
>> break;
>> case 9: CVAL_VERIFY(step1 == 2);
>> CVAL_VERIFY...