[PATCH] D136671: [analyzer] Fix crash for array-delete of UnknownVal values.
Domján Dániel via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Oct 25 06:59:55 PDT 2022
isuckatcs added a comment.
> For me, it makes sense that getDynamicElementCount() is not intended to be called on a null MemRegion.
It would still be helpful to have an assertion on that inside `getDynamicElementCount()`, so the caller will know it right away.
What I want to say is that it seems there are multiple error prone snippets involved in this crash and I think we should address all
of them, because some might cause another crash somewhere else.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D136671/new/
https://reviews.llvm.org/D136671
More information about the cfe-commits
mailing list