Searched refs:DVal (Results 1 – 2 of 2) sorted by relevance
156 Optional<DefinedOrUnknownSVal> DVal = in checkPostCall() local158 if (!DVal) in checkPostCall()176 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal); in checkPostCall()
737 SmallVector<double, 0> DVal; in TDOFold() local745 DVal.push_back(ftbl[i].result); in TDOFold()759 for (unsigned i = 0; i < DVal.size(); ++i) { in TDOFold()760 FVal.push_back((float)DVal[i]); in TDOFold()765 ArrayRef<double> tmp(DVal); in TDOFold()1042 SmallVector<double, 0> DVal; in fold_pow() local1049 DVal.push_back(V); in fold_pow()1053 for (unsigned i=0; i < DVal.size(); ++i) { in fold_pow()1054 FVal.push_back((float)DVal[i]); in fold_pow()1059 ArrayRef<double> tmp(DVal); in fold_pow()