Displaying 2 results from an estimated 2 matches for "cval_verify".
2017 Jan 13
4
Wrong code bug after GVN/PRE?
...changes the input to GVN so the problem suddenly
surfaces.
Finally, the problem 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);...
2017 Jan 13
2
Wrong code bug after GVN/PRE?
...he 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);
>>...