Searched refs:DestVal (Results 1 – 3 of 3) sorted by relevance
311 SVal DestVal = UnknownVal(); in VisitCXXDestructor() local313 DestVal = loc::MemRegionVal(Dest); in VisitCXXDestructor()314 DestVal = makeZeroElementRegion(State, DestVal, ObjectType); in VisitCXXDestructor()315 Dest = DestVal.getAsRegion(); in VisitCXXDestructor()
2469 Constant *DestVal = ComputeLoadResult(getVal(Ptr)); in EvaluateBlock() local2470 if (Val->isNullValue() && DestVal && DestVal->isNullValue()) { in EvaluateBlock()
1360 llvm::Value *DestVal = TmpBuilder.CreatePHI(Int8PtrTy, 0, in GetIndirectGotoBlock() local1364 IndirectBranch = TmpBuilder.CreateIndirectBr(DestVal); in GetIndirectGotoBlock()