Searched refs:FalseState (Results 1 – 3 of 3) sorted by relevance
991 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local992 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()995 if (TrueState && !FalseState) { in performKernelMalloc()1327 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local1332 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()1335 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()1357 assert(FalseState); in ProcessZeroAllocCheck()1358 return FalseState; in ProcessZeroAllocCheck()
1658 ProgramStateRef TrueState, FalseState; in evalStrcpyCommon() local1659 std::tie(TrueState, FalseState) = in evalStrcpyCommon()1663 if (TrueState && !FalseState) { in evalStrcpyCommon()1668 if (!TrueState && FalseState) { in evalStrcpyCommon()1672 if (TrueState && FalseState) in evalStrcpyCommon()
781 ProgramStateRef FalseState = bindInt(0, State, C, CE); in evalFeofFerror() local782 C.addTransition(FalseState->set<StreamMap>( in evalFeofFerror()