Searched refs:BoundVal (Results 1 – 2 of 2) sorted by relevance
3398 SVal BoundVal = State->getSVal(R); in VisitNode() local3399 if (BoundVal.isUndef() || BoundVal.isZeroConstant()) { in VisitNode()
1249 llvm::Value *BoundVal = Builder.CreateIntCast(Bound, SizeTy, false); in EmitBoundsCheckImpl() local1256 llvm::Value *Check = Accessed ? Builder.CreateICmpULT(IndexVal, BoundVal) in EmitBoundsCheckImpl()1257 : Builder.CreateICmpULE(IndexVal, BoundVal); in EmitBoundsCheckImpl()