ASDenysPetrov requested changes to this revision.
ASDenysPetrov added inline comments.
This revision now requires changes to proceed.
================
Comment at: clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp:44-49
+ // Handle adjustment with non-comparison ops.
+ const llvm::APSInt &Zero = getBasicVals().getValue(0, SIE->getType());
+ if (Assumption) {
+ return assumeSymRel(State, SIE, BO_NE, Zero);
+ }
+ return assumeSymRel(State, SIE, BO_EQ, Zero);
----------------
Actually what you are trying to do here is already inside
`assumeSymUnsupported` and it will work for all `SymIntExpr`.
Please, proveide a test case which works with `assumeSymRel` and doesn't with
`asume` from the previous change. That is what we are trying to fix here.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D112296/new/
https://reviews.llvm.org/D112296
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
