[PATCH] D86743: [analyzer] Ignore VLASizeChecker case that could cause crash

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

A VLA in a loop may have different size on each iteration of the loop. This looks very much related to https://bugs.llvm.org/show_bug.cgi?id=28450.

> I do not know how these changes can appear

You know the node. Conditional breakpoint on the node and step-by-step debugging will give you all the answers.

>   // State may not be valid since constraints do not comprehend expressions
>   // used for VLAs.

That's not what the constraint manager does when it can't comprehend expressions. In such cases the original state would have been returned, not the null state.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86743