Lines Matching refs:assume
654 /// We assume that pointers do not escape through calls to system functions
992 std::tie(TrueState, FalseState) = State->assume(MaskedFlags);
1333 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero));
1438 // If the first selector piece is one of the names below, assume that the
1708 std::tie(notNullState, nullState) = State->assume(location);
1850 // valid. If this is the case, lets assume that the allocation family of the
2397 std::tie(StatePtrIsNull, StatePtrNotNull) = State->assume(PtrEQ);
2399 std::tie(StateSizeIsZero, StateSizeNotZero) = State->assume(SizeZero);
2400 // We only assume exceptional states if they are definitely true; if the
2401 // state is under-constrained, assume regular realloc behavior.
2915 // For now, assume that any C++ or block call can free memory.
2924 // If it's not a framework call, or if it takes a callback, assume it
2950 // or replacePointer, assume we are dealing with NSPointerArray or similar.
2968 // Otherwise, assume that the method does not free memory.
2983 // If it's not a system call, assume it frees memory.
3062 // Otherwise, assume that the function does not free memory.