martong added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Core/SValBuilder.cpp:417
+ // the member function of SValBuilder (?)
+ if (symRHS)
+ if (auto RLocAsInt = RHS.getAs<nonloc::LocAsInteger>()) {
----------------
We should handle LHS as well.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D115932/new/
https://reviews.llvm.org/D115932
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
