Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp502 ProgramStateRef TrueState, FalseState; in handleComparisionOp() local
503 std::tie(TrueState, FalseState) = in handleComparisionOp()
505 if (TrueState) in handleComparisionOp()
507 TrueState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(true))); in handleComparisionOp()
H A DMallocChecker.cpp1194 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
1195 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
1198 if (TrueState && !FalseState) { in performKernelMalloc()
1200 return MallocMemAux(C, Call, Call.getArgExpr(0), ZeroVal, TrueState, in performKernelMalloc()
1530 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1535 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1538 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1546 return TrueState->set<RegionState>(Sym, in ProcessZeroAllocCheck()
1555 return TrueState->add<ReallocSizeZeroSymbols>(Sym); in ProcessZeroAllocCheck()
H A DCStringChecker.cpp1841 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 DStreamChecker.cpp1389 ProgramStateRef TrueState = bindAndAssumeTrue(State, C, CE); in evalFeofFerror() local
1390 C.addTransition(TrueState->set<StreamMap>( in evalFeofFerror()