[LLVMbugs] [Bug 11631] New: Static analyzer ignores goto statement

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=11631

             Bug #: 11631
           Summary: Static analyzer ignores goto statement
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: gregory.szorc at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 7781
  --> http://llvm.org/bugs/attachment.cgi?id=7781
Report showing ignored goto statement

The attached report shows an apparent bug in the static analyzer where a goto
statement in an if statement is supposed to be taken but seems to be ignored by
the static analyzer.

The trouble starts at:

  343 if(codes==NULL)goto err_out;

    5 Assuming 'codes' is equal to null
    6 Taking false branch

Statements 5 and 6 made by the analyzer appear to be contradictory. The
analyzer continues past the goto to report an error that should not occur.

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.