[LLVMbugs] [Bug 15708] New: malloc(0) is not undefined behaviour

[bugzilla-daemon at llvm.org]

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

            Bug ID: 15708
           Summary: malloc(0) is not undefined behaviour
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: FreeBSD
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: cperciva at freebsd.org
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

When encountering a possible malloc(0), the clang analyzer reports a "Undefined
allocation of 0 bytes (CERT MEM04-C; CWE-131)" bug.  This text is wrong, since
malloc(0) is not *undefined*; rather, it is *implementation-defined*.

A global s/Undefined allocation/Implementation-defined allocation/ in the
clang-analyzer source code should fix this.

-- 
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/20130409/1ca8c722/attachment.html>