search for: cval_verify

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); >>...