[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.

Not sure if this is a good solution. There are few tests that test the undefined reference case. But the added code should work the same way as in the null pointer case?



================
Comment at: clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp:135
+    DerefKindStr = "dereference of an undefined pointer value";
+    break;
+  };
----------------
Add "results in a " here?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D84520