[LLVMbugs] [Bug 16280] New: False positive if (lo) { *lo = ....

[bugzilla-daemon at llvm.org]

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

            Bug ID: 16280
           Summary: False positive if (lo) { *lo = ....
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: mira.fontan at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 10657
  --> http://llvm.org/bugs/attachment.cgi?id=10657&action=edit
Scan-build report

Null pointer dereference is marked at *lo

void byte2ascii ( unsigned char byte, unsigned char *hi, unsigned char *lo )
{
    if ( hi )
    {
        *hi = nibble2ascii ( byte >> 4 );

    }
    if ( lo )
    {
        *lo = nibble2ascii ( byte );
    }
}

-- 
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/20130609/47d76577/attachment.html>