Home | History | Annotate | Download | only in Core

Lines Matching refs:SVal

27   SVal baseVal = state->getSVal(Ex->getBase(), LCtx);
28   SVal location = state->getLValue(Ex->getDecl(), baseVal);
64   //   through an SVal or through the use of MemRegions.  This value can
67   //   we can test if the SVal is 0 or if the MemRegion is null (depending
76   SVal elementV;
100     SVal TrueV = svalBuilder.makeTruthVal(1);
104     SVal FalseV = svalBuilder.makeTruthVal(0);
117         SVal V = svalBuilder.makeLoc(Sym);
121         SVal nilV = svalBuilder.makeIntVal(0, T);
172     SVal recVal = Msg->getReceiverSVal();
231       SVal recVal = UpdatedMsg->getReceiverSVal();