reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
528 getBasicVals().accumCXXBase( 723 nonloc::ConcreteInt Zero(getBasicVals().getValue(0, B->getType())); 745 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList(); 758 vals = getBasicVals().prependSVal(V, vals); 1043 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));