Showing error 10

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

Source: 

576  {
577#line 78
578  if (a == 0) {
579#line 78
580    if (b == 0) {
581
582    } else {
583      goto _L___0;
584    }
585  } else {
586    _L___0: /* CIL Label */ 
587#line 78
588    if (a == 1) {
589#line 78
590      if (b == -1) {
591
592      } else {
593        goto _L;
594      }
595    } else {
596      _L: /* CIL Label */ 
597      {
598#line 79
599      __cil_tmp2 = (FILE * __restrict  )stderr;
600#line 79
601      __cil_tmp3 = (char const   * __restrict  )"Bug found!\n";
602#line 79
603      fprintf(__cil_tmp2, __cil_tmp3);
604      }
605      goto ERROR;
606      ERROR: ;
607    }
608  }
609#line 86
610  return ((void *)0);
611}
612}
Show full sources
↑