Showing error 1670

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


Source:

 238#line 47 "Email.c"
 239int createEmail(int from , int to ) 
 240{ int retValue_acc ;
 241  int msg ;
 242
 243  {
 244  {
 245#line 48
 246  msg = 1;
 247#line 49
 248  setEmailFrom(msg, from);
 249#line 50
 250  setEmailTo(msg, to);
 251#line 751 "Email.c"
 252  retValue_acc = msg;
 253  }
 254#line 753
 255  return (retValue_acc);
 256#line 760
 257  return (retValue_acc);
 258}
 259}
 260#line 1 "wsllib_check.o"
 261#pragma merger(0,"wsllib_check.i","")
 262#line 3 "wsllib_check.c"
 263void __automaton_fail(void) 
 264{ 
 265
 266  {
 267  goto ERROR;
 268  ERROR: ;
 269#line 53 "wsllib_check.c"
 270  return;
 271}
 272}
 273#line 1 "featureselect.o"
 274#pragma merger(0,"featureselect.i","")
 275#line 41 "featureselect.h"
 276int select_one(void) ;
 277#line 43
 278void select_features(void) ;
Show full sources