[LLVMbugs] [Bug 8809] New: False positive on pointer read

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Sat Dec 18 13:45:19 PST 2010


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

           Summary: False positive on pointer read
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: mo at modejong.com
                CC: llvmbugs at cs.uiuc.edu


The static anlanyzer is giving this false positive.

static inline
uint32_t
byte_read_be_argb24(char *ptr) {
  uint8_t red = *ptr++;
  uint8_t green = *ptr++;
  uint8_t blue = *ptr++;
  uint32_t pixel = (0xFF << 24) | (red << 16) | (green << 8) | blue;
  return pixel;
}  

movdata.c:1709:19 Value stored to 'ptr' is never read

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