reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
139 DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty); 141 SVal LessThanZeroVal = svalBuilder.evalBinOp(state, BO_LT, sizeD, Zero, Ty); 158 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>(); 162 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy); 165 SVal ArraySizeVal = svalBuilder.evalBinOpNN( 171 state->getRegion(VD, LC)->getExtent(svalBuilder); 174 svalBuilder.evalEQ(state, Extent, ArraySize);