Showing error 1828

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

Source: 

4308                        }
4309                      }
4310                    }
4311                  }
4312                }
4313              }
4314            }
4315          }
4316        }
4317      }
4318    }
4319  }
4320  while_3_break: /* CIL Label */ ;
4321  }
4322  {
4323#line 61
4324  bobToRjh();
4325  }
4326#line 169 "scenario.c"
4327  return;
4328}
4329}
4330#line 1 "wsllib_check.o"
4331#pragma merger(0,"wsllib_check.i","")
4332#line 3 "wsllib_check.c"
4333void __automaton_fail(void) 
4334{ 
4335
4336  {
4337  goto ERROR;
4338  ERROR: ;
4339#line 53 "wsllib_check.c"
4340  return;
4341}
4342}
4343#line 1 "Util.o"
4344#pragma merger(0,"Util.i","")
4345#line 1 "Util.h"
4346int prompt(char *msg ) ;
4347#line 9 "Util.c"
4348int prompt(char *msg )
Show full sources
↑