[llvm-bugs] [Bug 32958] New: Static analyzer doesn't consider the possibility of running out of memory => spurious dead code results.
llvm-bugs at lists.llvm.org
Sun May 7 09:28:51 PDT 2017
Bug ID: 32958
Summary: Static analyzer doesn't consider the possibility of
running out of memory => spurious dead code results.
Component: Static Analyzer
Assignee: kremenek at apple.com
Reporter: demiobenour at gmail.com
CC: llvm-bugs at 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
which includes code to handle these errors.
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-bugs