Lines Matching refs:assume
95 eval::Assume,
182 /// conservatively assume it can free/reallocate it's pointer arguments.
447 state = state->assume(extentMatchesSize, true);
510 llvm::tie(notNullState, nullState) = state->assume(location);
751 llvm::tie(StatePtrIsNull, StatePtrNotNull) = state->assume(PtrEQ);
753 llvm::tie(StateSizeIsZero, StateSizeNotZero) = state->assume(SizeZero);
754 // We only assume exceptional states if they are definitely true; if the
755 // state is under-constrained, assume regular realloc behavior.
1178 // conservatively assume it can free/reallocate it's pointer arguments.
1179 // (We assume that the pointers cannot escape through calls to system
1186 // For now, assume that any C++ call can free memory.
1205 // If it's not a system call, assume it frees memory.
1281 // Otherwise, assume that the function does not free memory.
1301 // If the first selector ends with NoCopy, assume that the ownership is
1308 // Otherwise, assume that the function does not free memory.
1313 // Otherwise, assume that the function can free memory.
1331 // If it's a call which might free or reallocate memory, we assume that all
