Home
last modified time | relevance | path

Searched refs:TrueState (Results 1 – 3 of 3) sorted by relevance

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DMallocChecker.cpp991 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
992 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
995 if (TrueState && !FalseState) { in performKernelMalloc()
997 return MallocMemAux(C, Call, Call.getArgExpr(0), ZeroVal, TrueState, in performKernelMalloc()
1327 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1332 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1335 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1343 return TrueState->set<RegionState>(Sym, in ProcessZeroAllocCheck()
1352 return TrueState->add<ReallocSizeZeroSymbols>(Sym); in ProcessZeroAllocCheck()
H A DCStringChecker.cpp1658 ProgramStateRef TrueState, FalseState; in evalStrcpyCommon() local
1659 std::tie(TrueState, FalseState) = in evalStrcpyCommon()
1663 if (TrueState && !FalseState) { in evalStrcpyCommon()
1668 if (!TrueState && FalseState) { in evalStrcpyCommon()
1672 if (TrueState && FalseState) in evalStrcpyCommon()
H A DStreamChecker.cpp771 ProgramStateRef TrueState = bindAndAssumeTrue(State, C, CE); in evalFeofFerror() local
772 C.addTransition(TrueState->set<StreamMap>( in evalFeofFerror()