Lines Matching refs:BoundVal
1636 SVal BoundVal = State->getSVal(R);1637 if (BoundVal.isUndef() || BoundVal.isZeroConstant()) {