Showing error 1525

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: loops/token_ring01_safe.i
Line in file: 8
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

  1
  2
  3
  4void error(void)
  5{
  6
  7  {
  8  ERROR: ;
  9  goto ERROR;
 10  return;
 11}
 12}
 13int m_pc = 0;
 14int t1_pc = 0;
 15int m_st ;
 16int t1_st ;
 17int m_i ;
 18int t1_i ;
Show full sources
↑