https://bugs.llvm.org/show_bug.cgi?id=32958
Bug ID: 32958
Summary: Static analyzer doesn't consider the possibility of
running out of memory => spurious dead code results.
Product: clang
Version: 3.9
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Static Analyzer
Assignee: kreme...@apple.com
Reporter: demioben...@gmail.com
CC: llvm-bugs@lists.llvm.org
The static analyzer does not consider the possibility that a system call could
return -ENOMEM, or that malloc() could return NULL. This causes false
positives on the SlipRock library
(https://github.com/DemiMarie/SlipRock/commit/15ac3eae822dbd4d80e3033a43b702a08d581c89),
which includes code to handle these errors.
--
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
