Lines Matching refs:Assume
157 eval::Assume>
290 /// We assume that pointers do not escape through calls to system functions
686 // If the first selector piece is one of the names below, assume that the
780 State = State->assume(extentMatchesSize, true);
974 llvm::tie(notNullState, nullState) = State->assume(location);
1441 llvm::tie(StatePtrIsNull, StatePtrNotNull) = state->assume(PtrEQ);
1443 llvm::tie(StateSizeIsZero, StateSizeNotZero) = state->assume(SizeZero);
1444 // We only assume exceptional states if they are definitely true; if the
1445 // state is under-constrained, assume regular realloc behavior.
1858 // For now, assume that any C++ call can free memory.
1867 // If it's not a framework call, or if it takes a callback, assume it
1893 // or replacePointer, assume we are dealing with NSPointerArray or similar.
1910 // Otherwise, assume that the method does not free memory.
1927 // If it's not a system call, assume it frees memory.
1996 // Otherwise, assume that the function does not free memory.
