[PATCH] D112621: [analyzer][solver] Introduce reasoning for not equal to operator
Manas Gupta via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Apr 6 11:49:39 PDT 2022
manas added a comment.
@steakhal apologies for holding onto this for so long. I managed to fix previously untestable test cases. The issue was that I was building expressions as `(u1 != u2) != 0` and the solver was canonicalizing this to an equivalent `BO_EQ` expression. That's why, it wasn't reaching `VisitBinaryOperator<BO_NE>()`. So I changed all tests as following: `(u1 != u2)` (removing the latter `!= 0` part. Also, I utilized the `getConcreteValue()` for checking of single APSInt in the RangeSets.
Apart from this, I am building for the coverage reports (which I will upload later).
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
More information about the cfe-commits