Showing error 221

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

Source: 

174  } else {
175    {
176#line 50
177    while (1) {
178      while_2_continue: /* CIL Label */ ;
179      {
180#line 50
181      __cil_tmp22 = *((int *)p);
182#line 50
183      if (__cil_tmp22 == 2) {
184
185      } else {
186        goto while_2_break;
187      }
188      }
189#line 51
190      __cil_tmp23 = (unsigned int )p;
191#line 51
192      __cil_tmp24 = __cil_tmp23 + 4;
193#line 51
194      p = *((struct node **)__cil_tmp24);
195    }
196    while_2_break: /* CIL Label */ ;
197    }
198  }
199  {
200#line 52
201  __cil_tmp25 = *((int *)p);
202#line 52
203  if (__cil_tmp25 != 3) {
204    ERROR: 
205    goto ERROR;
206  } else {
207
208  }
209  }
210#line 54
211  return;
212}
213}
Show full sources
↑