Searched refs:TheValue (Results 1 – 2 of 2) sorted by relevance
648 const ParmVarDecl *TheValue = D->getParamDecl(2); in create_OSAtomicCompareAndSwap() local649 QualType TheValueTy = TheValue->getType(); in create_OSAtomicCompareAndSwap()662 M.makeLvalueToRvalue(M.makeDeclRefExpr(TheValue), TheValueTy), in create_OSAtomicCompareAndSwap()672 M.makeLvalueToRvalue(M.makeDeclRefExpr(TheValue), TheValueTy), in create_OSAtomicCompareAndSwap()
2627 reAssume(ProgramStateRef State, const RangeSet *Constraint, SVal TheValue) { in reAssume() argument2631 const auto DefinedVal = TheValue.castAs<DefinedSVal>(); in reAssume()