RedDocMD added a comment.
@NoQ, why does the following trigger a null-dereference warning?
(https://godbolt.org/z/Kxox8qd16)
void g(std::unique_ptr<A> a) {
A *aptr = a.get();
if (!aptr) {}
a->foo();
}
When `a->foo()` is called, the constraint `!aptr` is no longer valid and so
`InnerPointerVal` corresponding to `a` is no longer constrained to be null.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D97183/new/
https://reviews.llvm.org/D97183
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
