[PATCH] D113753: [Analyzer][Core] Better simplification in SimpleSValBuilder::evalBinOpNN

[Gabor Marton via Phabricator via cfe-commits]

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