Searched refs:TrueState (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()742 return MallocMemAux(C, CE, CE->getArg(0), ZeroVal, TrueState); in performKernelMalloc()891 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocation() local896 std::tie(TrueState, FalseState) = in ProcessZeroAllocation()899 if (TrueState && !FalseState) { in ProcessZeroAllocation()908 return TrueState->set<RegionState>(Sym, in ProcessZeroAllocation()917 return TrueState->add<ReallocSizeZeroSymbols>(Sym); in ProcessZeroAllocation()