[PATCH] D83286: [analyzer][solver] Track symbol disequalities

Denys Petrov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Jul 8 05:14:39 PDT 2020


ASDenysPetrov added a comment.

@vsavchenko

> if a != b and b == C where C is a constant, a != C

Did you take into account that e.g. `a > b` also is a disequality.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D83286/new/

https://reviews.llvm.org/D83286





More information about the cfe-commits mailing list