Searched defs:BoundVal (Results 1 – 2 of 2) sorted by relevance
3441 SVal BoundVal = State->getSVal(R); in VisitNode() local
1192 llvm::Value *BoundVal = Builder.CreateIntCast(Bound, SizeTy, false); in EmitBoundsCheckImpl() local