[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