Showing error 1497

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: loops/mem_slave_tlm_safe.i
Line in file: 6
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();
   2void error(void)
   3{
   4  {
   5  goto ERROR;
   6  ERROR: ;
   7  return;
   8}
   9}
  10int m_run_st ;
  11int m_run_i ;
  12int m_run_pc ;
  13int s_memory0 ;
  14int s_run_st ;
  15int s_run_i ;
  16int s_run_pc ;
Show full sources
↑