reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1079 State->assume(svalBuilder.evalEQ(State, Extent, *SizeNL)); 1079 State->assume(svalBuilder.evalEQ(State, Extent, *SizeNL)); 1087 assumeZero(C, State, CharVal, Ctx.UnsignedCharTy); 1097 State = State->bindDefaultZero(svalBuilder.makeLoc(BR), 1097 State = State->bindDefaultZero(svalBuilder.makeLoc(BR), 1102 State = InvalidateBuffer(C, State, DstBuffer, MemVal, 1102 State = InvalidateBuffer(C, State, DstBuffer, MemVal, 1109 State = setCStringLength(State, MR, 1109 State = setCStringLength(State, MR, 1119 State, BO_GE, NewStrLen, SizeVal, svalBuilder.getConditionType()); 1121 State = setCStringLength( 1122 State->assume(NewStrLenGESize.castAs<DefinedOrUnknownSVal>(), true), 1128 State = InvalidateBuffer(C, State, DstBuffer, MemVal, 1128 State = InvalidateBuffer(C, State, DstBuffer, MemVal,