reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1075 DefinedOrUnknownSVal Extent = SubReg->getExtent(svalBuilder); 1079 State->assume(svalBuilder.evalEQ(State, Extent, *SizeNL)); 1083 CharVal = svalBuilder.evalCast(CharVal, Ctx.UnsignedCharTy, Ctx.IntTy); 1097 State = State->bindDefaultZero(svalBuilder.makeLoc(BR), 1110 svalBuilder.makeZeroVal(Ctx.getSizeType())); 1112 SVal NewStrLen = svalBuilder.getMetadataSymbolVal( 1118 SVal NewStrLenGESize = svalBuilder.evalBinOp( 1119 State, BO_GE, NewStrLen, SizeVal, svalBuilder.getConditionType());