[PATCH] D49749: [analyzer] Admit that we can't simplify the newly produced mixed Loc/NonLoc expressions.

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Jul 25 16:15:12 PDT 2018


NoQ requested review of this revision.
NoQ marked an inline comment as done.
NoQ added inline comments.


================
Comment at: lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp:1300
+          Loc::isLocType(S->getRHS()->getType())) {
+        SVal V = SVB.makeSymbolVal(S);
+        Cached[S] = V;
----------------
george.karpenkov wrote:
> could we eliminate the code duplication with lines 1308-1310?
Moved to D49826 because it's much larger than this patch.


Repository:
  rC Clang

https://reviews.llvm.org/D49749





More information about the cfe-commits mailing list