martong added a comment. I'm attaching the coverage of the new test file for the related change:
375 : // Constraints may have changed since the creation of a bound SVal. Check if 376 : // the values can be simplified based on those new constraints. 377 12 : SVal simplifiedLhs = simplifySVal(state, lhs); 378 12 : SVal simplifiedRhs = simplifySVal(state, rhs); 379 12 : if (auto simplifiedLhsAsNonLoc = simplifiedLhs.getAs<NonLoc>()) 380 12 : lhs = *simplifiedLhsAsNonLoc; 381 12 : if (auto simplifiedRhsAsNonLoc = simplifiedRhs.getAs<NonLoc>()) 382 12 : rhs = *simplifiedRhsAsNonLoc; 383 : Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D113753/new/ https://reviews.llvm.org/D113753 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
