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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
