Showing error 240

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: systemc/pipeline.cil.c
Line in file: 14
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

  1/*int nondet(void)
  2{
  3  int x;
  4  {
  5    return (x);
  6  }
  7  }*/
  8
  9void error(void) 
 10{ 
 11
 12  {
 13  goto ERROR;
 14  ERROR: ;
 15  return;
 16}
 17}
 18int main_in1_val  ;
 19int main_in1_val_t  ;
 20int main_in1_ev  ;
 21int main_in1_req_up  ;
 22int main_in2_val  ;
 23int main_in2_val_t  ;
 24int main_in2_ev  ;
Show full sources
↑