[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