https://llvm.org/bugs/show_bug.cgi?id=28188
Bug ID: 28188
Summary: Static analyzer should not report error in
memcpy()/memmove() with null pointer when length
argument is zero.
Product: clang
Version: 3.8
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Static Analyzer
Assignee: kreme...@apple.com
Reporter: socketp...@gmail.com
CC: llvm-bugs@lists.llvm.org
Classification: Unclassified
In real life `memcpy(null, null, 0)` will not trigger segfault.
It will be nice not to report non-null argument problem if count is zero.
Python3.6 sources have a code, that may call memcpy with null pointer and pass
zero byte counter to that function. This is not bug.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
