Project

General

Profile

Actions
Copy link

Bug #1810

open

CIL ignores the ERROR label if there's no goto to it

Added by Pavel Shved about 13 years ago. Updated about 10 years ago.

Status:
New
Priority:
Low
Assignee:
Vadim Mutilin
Category:
CIL
Target version:
-
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
Copy link
 #1

Updated by Pavel Shved about 13 years ago

  • Status changed from Feedback to New
  • Priority changed from High to Low
  • Target version deleted (2.7)

Competition tests were fixed, and this is no longer important

Actions
Copy link
 #2

Updated by Vadim Mutilin about 10 years ago

  • Category set to CIL
  • Assignee changed from Pavel Shved to Vadim Mutilin
Actions
Copy link

Also available in: Atom PDF