Showing error 2287

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_safe.cil.c
Line in file: 9
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

  1extern int __VERIFIER_nondet_int();
  2
  3
  4void error(void) 
  5{ 
  6
  7  {
  8  goto ERROR;
  9  ERROR: ;
 10  return;
 11}
 12}
 13
 14int q_buf_0  ;
 15int q_free  ;
 16int q_read_ev  ;
 17int q_write_ev  ;
 18int q_req_up  ;
 19int q_ev  ;
Show full sources
↑