Showing error 239

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_BUG.cil.c
Line in file: 7
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

  1
  2void error(void) 
  3{ 
  4
  5  {
  6  goto ERROR;
  7  ERROR: ;
  8  return;
  9}
 10}
 11int main_in1_val  ;
 12int main_in1_val_t  ;
 13int main_in1_ev  ;
 14int main_in1_req_up  ;
 15int main_in2_val  ;
 16int main_in2_val_t  ;
 17int main_in2_ev  ;
Show full sources
↑