reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
191 virtual bool canReasonAbout(SVal X) const = 0;
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()));