Searched refs:FalseState (Results 1 – 4 of 4) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SmartPtrModeling.cpp | 502 ProgramStateRef TrueState, FalseState; in handleComparisionOp() local
503 std::tie(TrueState, FalseState) = in handleComparisionOp()
508 if (FalseState) in handleComparisionOp()
510 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
|
| H A D | MallocChecker.cpp | 1194 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
1195 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
1198 if (TrueState && !FalseState) { in performKernelMalloc()
1530 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1535 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1538 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1560 assert(FalseState); in ProcessZeroAllocCheck()
1561 return FalseState; in ProcessZeroAllocCheck()
|
| H A D | CStringChecker.cpp | 1841 ProgramStateRef TrueState, FalseState; in evalStrcpyCommon() local
1842 std::tie(TrueState, FalseState) = in evalStrcpyCommon()
1846 if (TrueState && !FalseState) { in evalStrcpyCommon()
1851 if (!TrueState && FalseState) { in evalStrcpyCommon()
1855 if (TrueState && FalseState) in evalStrcpyCommon()
|
| H A D | StreamChecker.cpp | 1399 ProgramStateRef FalseState = bindInt(0, State, C, CE); in evalFeofFerror() local
1400 C.addTransition(FalseState->set<StreamMap>( in evalFeofFerror()
|