Showing error 220

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: list-properties/list.cil.c
Line in file: 263
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

233  while_2_break: /* CIL Label */ ;
234  }
235  {
236#line 44
237  while (1) {
238    while_3_continue: /* CIL Label */ ;
239    {
240#line 44
241    __cil_tmp32 = *((int *)p);
242#line 44
243    if (__cil_tmp32 == 2) {
244
245    } else {
246      goto while_3_break;
247    }
248    }
249#line 45
250    __cil_tmp33 = (unsigned int )p;
251#line 45
252    __cil_tmp34 = __cil_tmp33 + 4;
253#line 45
254    p = *((struct node **)__cil_tmp34);
255  }
256  while_3_break: /* CIL Label */ ;
257  }
258  {
259#line 46
260  __cil_tmp35 = *((int *)p);
261#line 46
262  if (__cil_tmp35 != 3) {
263    ERROR: 
264    goto ERROR;
265  } else {
266
267  }
268  }
269#line 49
270  return;
271}
272}
Show full sources
↑