Searched refs:SuccessSt (Results 1 - 1 of 1) sorted by relevance

/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp612 ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C); local
616 if (FailureSt && !SuccessSt) {
622 // argument. This means both SuccessSt and FailureSt can be true. If we
625 assert(SuccessSt);
626 NewState = SuccessSt;

Completed in 124 milliseconds