Searched refs:FalseState (Results 1 – 4 of 4) sorted by relevance
| /freebsd-13.1/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 | 991 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
992 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
995 if (TrueState && !FalseState) { in performKernelMalloc()
1327 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1332 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1335 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1357 assert(FalseState); in ProcessZeroAllocCheck()
1358 return FalseState; in ProcessZeroAllocCheck()
|
| H A D | CStringChecker.cpp | 1658 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 D | StreamChecker.cpp | 825 ProgramStateRef FalseState = bindInt(0, State, C, CE); in evalFeofFerror() local
826 C.addTransition(FalseState->set<StreamMap>( in evalFeofFerror()
|