reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
274 return canReasonAbout(SVB.makeSymbolVal(SC->getOperand())); 278 return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS())); 281 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); 284 return canReasonAbout(SVB.makeSymbolVal(SSE->getLHS())) && 285 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS()));tools/clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp
225 SVal AntecedentV = SVB.makeSymbolVal(Antecedent); 230 SVal ConsequentS = SVB.makeSymbolVal(*Consequent);tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
1254 return cache(Sym, SVB.makeSymbolVal(Sym)); 1264 SVB.getKnownValue(State, SVB.makeSymbolVal(S))) 1267 return SVB.makeSymbolVal(S);