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: [email protected]
          Reporter: [email protected]
                CC: [email protected]
    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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs

Reply via email to