Searched refs:Minus1 (Results 1 – 2 of 2) sorted by relevance
83 SVal Minus1 = nonloc::ConcreteInt{BVF.getValue(-1, IntTy)}; in evalChroot()85 ProgramStateRef ChrootFailed = State->BindExpr(CE, LCtx, Minus1); in evalChroot()
2285 auto Minus1 = ConstantInt::get(Ty->getScalarType(), -1); in getFullValue() local2287 return ConstantVector::getSplat(VecTy->getElementCount(), Minus1); in getFullValue()2288 return Minus1; in getFullValue()