Actions
Bug #1810
openCIL ignores the ERROR label if there's no goto to it
Start date:
09/22/2011
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
Some of the competition drivers have their assert function laid out like this:
void __VERIFIER_assert(int phi, char* txt) { if(!phi) { ERROR: ; } }
CIL (at least, in its default configuration) ignores the label without goto (preprocessing with CIL doesn't help either). We should fix it unless the competition organizers report that such situations won't occur in the evaluation set.
Actions