Searched refs:FalseState (Results 1 – 1 of 1) sorted by relevance
800 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local801 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()804 if (TrueState && !FalseState) { in performKernelMalloc()1003 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocation() local1008 std::tie(TrueState, FalseState) = in ProcessZeroAllocation()1011 if (TrueState && !FalseState) { in ProcessZeroAllocation()1033 assert(FalseState); in ProcessZeroAllocation()1034 return FalseState; in ProcessZeroAllocation()