[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