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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
