reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
121 std::tie(stateNotZero, stateZero) = state->assume(sizeD); 141 SVal LessThanZeroVal = svalBuilder.evalBinOp(state, BO_LT, sizeD, Zero, Ty); 158 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>();