[LLVMbugs] [Bug 20919] New: Static Analyzer false positive - disregards potential exception

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Fri Sep 12 04:44:36 PDT 2014


            Bug ID: 20919
           Summary: Static Analyzer false positive - disregards potential
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: jaase at vmware.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 13026
  --> http://llvm.org/bugs/attachment.cgi?id=13026&action=edit
Report from the static analyzer clearly showing the problem.

I'm running the static analyzer (version 3.5) on some legacy code. 

I got a false positive in a function where a boolean flag was used to return
the success (or failure) of a try/catch block. It seems like the static
analyzer disregards the chance that an exception may skip parts of the block.

Please see the attached, generated report.


You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20140912/b9831b5a/attachment.html>

More information about the llvm-bugs mailing list