[llvm-bugs] [Bug 41938] New: false positive null pointer dereference

[via llvm-bugs]

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: dcoughlin at apple.com
          Reporter: artur at ebasoft.com.pl
                CC: dcoughlin at apple.com, llvm-bugs at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20190519/1712c612/attachment.html>