Searched refs:FalseState (Results 1 – 1 of 1) sorted by relevance
736 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local737 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()740 if (TrueState && !FalseState) { in performKernelMalloc()891 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocation() local896 std::tie(TrueState, FalseState) = in ProcessZeroAllocation()899 if (TrueState && !FalseState) { in ProcessZeroAllocation()922 assert(FalseState); in ProcessZeroAllocation()923 return FalseState; in ProcessZeroAllocation()