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