Lines Matching refs:assume
305 /// We assume that pointers do not escape through calls to system functions
654 std::tie(TrueState, FalseState) = State->assume(MaskedFlags);
797 // If the first selector piece is one of the names below, assume that the
891 State = State->assume(extentMatchesSize, true);
1084 std::tie(notNullState, nullState) = State->assume(location);
1609 std::tie(StatePtrIsNull, StatePtrNotNull) = state->assume(PtrEQ);
1611 std::tie(StateSizeIsZero, StateSizeNotZero) = state->assume(SizeZero);
1612 // We only assume exceptional states if they are definitely true; if the
1613 // state is under-constrained, assume regular realloc behavior.
2045 // For now, assume that any C++ or block call can free memory.
2054 // If it's not a framework call, or if it takes a callback, assume it
2080 // or replacePointer, assume we are dealing with NSPointerArray or similar.
2098 // Otherwise, assume that the method does not free memory.
2115 // If it's not a system call, assume it frees memory.
2184 // Otherwise, assume that the function does not free memory.