[LLVMbugs] [Bug 9492] New: False positives concerning 'new' operator.

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Wed Mar 16 02:17:38 PDT 2011


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

           Summary: False positives concerning 'new' operator.
           Product: clang
           Version: 2.8
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: teh_roflmaster at hotmail.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=6329)
 --> (http://llvm.org/bugs/attachment.cgi?id=6329)
Scan-Build results of 3 different examples.

Compilers where 'new' can return null do not conform to the C++ standard.
Therefore the bugs found by scan-build in the attached files (Analysis results
generated by scan-build, source can be viewed there), are false positives. 

Dereferencing a pointer, initialized by using 'new', is not an error. If there
was an error allocating memory, an exception would be thrown. However, placing
the statements in a try-catch block still triggers the same "error", which is
not correct.

-- 
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.



More information about the llvm-bugs mailing list