[PATCH] D113753: [Analyzer][Core] Better simplification in SimpleSValBuilder::evalBinOpNN

Bal√°zs Benics via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Dec 2 14:24:51 PST 2021


steakhal added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp:372
                                   QualType resultTy)  {
   NonLoc InputLHS = lhs;
   NonLoc InputRHS = rhs;
----------------
@martong, you simplified the operands, but you overwrite only the lhs and rhs. Shouldnt you overwite these as well?
What is the purpose of these variables, do you know?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D113753



More information about the cfe-commits mailing list