[PATCH] D84520: [Analyzer] Improve invalid dereference bug reporting in DereferenceChecker.

[Balázs Kéri via Phabricator via cfe-commits]

balazske marked an inline comment as done.
balazske added a comment.

Do the null pointer and invalid pointer dereference belong to the same checker, that is called //NullDereference//?



================
Comment at: clang/test/Analysis/misc-ps-region-store.m:1160
   struct list_pr8141 *items;
-  for (;; items = ({ do { } while (0); items->tail; })) // expected-warning{{Dereference of undefined pointer value}}
+  for (;; items = ({ do { } while (0); items->tail; })) // expected-warning{{dereference of an undefined pointer value}}
     {
----------------
Szelethus wrote:
> Is this the entire message? Because traditionally, analyzer warnings start with an upper case and don't terminate.
Full message is:
`Access to field 'tail' results in a dereference of an undefined pointer value (loaded from variable 'items') [core.NullDereference]`


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D84520/new/

https://reviews.llvm.org/D84520