[PATCH] D86743: [analyzer] Ignore VLASizeChecker case that could cause crash
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Sep 24 00:15:45 PDT 2020
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
More information about the cfe-commits
mailing list