https://bugs.llvm.org/show_bug.cgi?id=41938
Bug ID: 41938
Summary: false positive null pointer dereference
Product: clang
Version: 8.0
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Static Analyzer
Assignee: dcough...@apple.com
Reporter: ar...@ebasoft.com.pl
CC: dcough...@apple.com, llvm-bugs@lists.llvm.org
Created attachment 21974
--> https://bugs.llvm.org/attachment.cgi?id=21974&action=edit
source code, sa output
SA reports null ptr dereference but it is not possible to pointer to be null.
Propably error is connected that pointer points to one of 2 elements of an in
class array and that to indexing is used operator & -> [index & 1]
minimal test case attached ( doesn't have logic sense, stripped to inimal case
still reported as error)
see :
sa/configure.sh
sa/build.sh
SA html output atatched too in folder sa/sa_out
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
