[all-commits] [llvm/llvm-project] 497d06: [Analyzer] Improve invalid dereference bug reporti...

[Balázs Kéri via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 497d060d0a741e13dd5e6218ba7301a7ec96f332
      https://github.com/llvm/llvm-project/commit/497d060d0a741e13dd5e6218ba7301a7ec96f332
  Author: Balázs Kéri <1.int32 at gmail.com>
  Date:   2020-08-11 (Tue, 11 Aug 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp
    A clang/test/Analysis/invalid-deref.c
    M clang/test/Analysis/misc-ps-region-store.m

  Log Message:
  -----------
  [Analyzer] Improve invalid dereference bug reporting in DereferenceChecker.

Report undefined pointer dereference in similar way as null pointer dereference.

Reviewed By: NoQ

Differential Revision: https://reviews.llvm.org/D84520