Home
last modified time | relevance | path

Searched refs:FalseState (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp500 ProgramStateRef TrueState, FalseState; in handleComparisionOp() local
501 std::tie(TrueState, FalseState) = in handleComparisionOp()
506 if (FalseState) in handleComparisionOp()
508 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
H A DMallocChecker.cpp1203 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
1204 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
1207 if (TrueState && !FalseState) { in performKernelMalloc()
1539 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1544 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1547 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1569 assert(FalseState); in ProcessZeroAllocCheck()
1570 return FalseState; in ProcessZeroAllocCheck()
H A DCStringChecker.cpp1726 ProgramStateRef TrueState, FalseState; in evalStrcpyCommon() local
1727 std::tie(TrueState, FalseState) = in evalStrcpyCommon()
1731 if (TrueState && !FalseState) { in evalStrcpyCommon()
1736 if (!TrueState && FalseState) { in evalStrcpyCommon()
1740 if (TrueState && FalseState) in evalStrcpyCommon()
H A DStreamChecker.cpp822 ProgramStateRef FalseState = bindInt(0, State, C, CE); in evalFeofFerror() local
823 C.addTransition(FalseState->set<StreamMap>( in evalFeofFerror()