Searched refs:TrueState (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()806 return MallocMemAux(C, CE, CE->getArg(0), ZeroVal, TrueState); in performKernelMalloc()1003 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocation() local1008 std::tie(TrueState, FalseState) = in ProcessZeroAllocation()1011 if (TrueState && !FalseState) { in ProcessZeroAllocation()1019 return TrueState->set<RegionState>(Sym, in ProcessZeroAllocation()1028 return TrueState->add<ReallocSizeZeroSymbols>(Sym); in ProcessZeroAllocation()