Showing error 223

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/simple.cil.c
Line in file: 176
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

146  __cil_tmp19 = (unsigned int )p;
147#line 31
148  __cil_tmp20 = __cil_tmp19 + 4;
149#line 31
150  *((struct node **)__cil_tmp20) = (struct node *)0;
151#line 32
152  p = a;
153  {
154#line 33
155  while (1) {
156    while_1_continue: /* CIL Label */ ;
157    {
158#line 33
159    __cil_tmp21 = (List )0;
160#line 33
161    __cil_tmp22 = (unsigned int )__cil_tmp21;
162#line 33
163    __cil_tmp23 = (unsigned int )p;
164#line 33
165    if (__cil_tmp23 != __cil_tmp22) {
166
167    } else {
168      goto while_1_break;
169    }
170    }
171    {
172#line 34
173    __cil_tmp24 = *((int *)p);
174#line 34
175    if (__cil_tmp24 != 1) {
176      ERROR: 
177      goto ERROR;
178    } else {
179
180    }
181    }
182#line 37
183    __cil_tmp25 = (unsigned int )p;
184#line 37
185    __cil_tmp26 = __cil_tmp25 + 4;
186#line 37
Show full sources
↑