[LLVMbugs] [Bug 9179] New: Reports false positive

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Wed Feb 9 11:51:44 PST 2011


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

           Summary: Reports false positive
           Product: clang
           Version: 2.7
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: michal at cihar.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=6135)
 --> (http://llvm.org/bugs/attachment.cgi?id=6135)
analysis output

I'm attaching full output, which contains the source as well, but the short
summary is:

warning: Null pointer passed as an argument to a 'nonnull' parameter
                dt->Hour = atoi(time_start);
                           ^    ~~~~~~~~~~

If you look at the line before, you can easily notice, that it can not be NULL,
because it's being checked:

if (time_start != NULL) {
    dt->Hour = atoi(time_start);

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