[PATCH] D102696: [Analyzer] Find constraints that are directly attached to a BinOp
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue May 18 09:53:55 PDT 2021
NoQ added a comment.
Ok so the state has enough constraints. It's enough to know that `$x + $y == 0` and `$y == 0` in order to deduce that `$x + 0 == 0`. But you're saying that we don't know how to infer it so instead of making us able to infer it let's make us ask the solver easier questions. That's a terrible hack but at this point i think we might as well take it. @vsavchenko WDYT, what would it take to fix the solver instead?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D102696/new/
https://reviews.llvm.org/D102696
More information about the cfe-commits
mailing list