Home
last modified time | relevance | path

Searched defs:StTrue (Results 1 – 5 of 5) sorted by relevance

/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDReturnValueChecker.cpp84 if (ProgramStateRef StTrue = State->assume(*ReturnV, true)) { in checkPostCall() local
HDExprInspectionChecker.cpp148 ProgramStateRef StTrue, StFalse; in getArgumentValueString() local
/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDConstraintManager.cpp65 ProgramStateRef StTrue = Assume(true); in assumeDualImpl() local
HDCheckerContext.cpp157 ProgramStateRef StTrue, StFalse; in evalComparison() local
HDExprEngine.cpp2750 ProgramStateRef StTrue, StFalse; in assumeCondition() local
2796 ProgramStateRef StTrue, StFalse; in processBranch() local