Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp502 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 DMallocChecker.cpp1118 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
1119 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
1122 if (TrueState && !FalseState) { in performKernelMalloc()
1504 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1509 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1512 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1534 assert(FalseState); in ProcessZeroAllocCheck()
1535 return FalseState; in ProcessZeroAllocCheck()
H A DCStringChecker.cpp1989 ProgramStateRef TrueState, FalseState; in evalStrcpyCommon() local
1990 std::tie(TrueState, FalseState) = in evalStrcpyCommon()
1994 if (TrueState && !FalseState) { in evalStrcpyCommon()
1999 if (!TrueState && FalseState) { in evalStrcpyCommon()
2003 if (TrueState && FalseState) in evalStrcpyCommon()
H A DStreamChecker.cpp1709 ProgramStateRef FalseState = E.bindReturnValue(State, C, 0); in evalFeofFerror() local
1711 FalseState, in evalFeofFerror()