Showing error 237

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: systemc/pc_sfifo_2.cil.c
Line in file: 15
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
  9
 10void error(void) 
 11{ 
 12
 13  {
 14  goto ERROR;
 15  ERROR: ;
 16  return;
 17}
 18}
 19
 20int q_buf_0  ;
 21int q_free  ;
 22int q_read_ev  ;
 23int q_write_ev  ;
 24int q_req_up  ;
 25int q_ev  ;
Show full sources
↑