martong added a comment. In D114938#3174331 <https://reviews.llvm.org/D114938#3174331>, @steakhal wrote:
> You mentioned in the summary that there are different places where > simplification-like machinary kicks in, which hindered the test case > synthesis. What places did you refer to exactly? These are the places where we call `SimpleSValBuilder::simplifySVal`. 1. EquivalenceClass::simplify 2. SimpleSValBuilder::evalBinOpNN 3. SimpleSValBuilder::getKnownValue Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D114938/new/ https://reviews.llvm.org/D114938 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
