Searched refs:PtrEQ (Results 1 – 1 of 1) sorted by relevance
1434 DefinedOrUnknownSVal PtrEQ = in ReallocMem() local1454 llvm::tie(StatePtrIsNull, StatePtrNotNull) = state->assume(PtrEQ); in ReallocMem()