Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DReturnValueChecker.cpp83 if (ProgramStateRef StTrue = State->assume(*ReturnV, true)) { in checkPostCall() local
H A DExprInspectionChecker.cpp148 ProgramStateRef StTrue, StFalse; in getArgumentValueString() local
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerContext.cpp157 ProgramStateRef StTrue, StFalse; in evalComparison() local
H A DExprEngine.cpp2809 ProgramStateRef StTrue, StFalse; in assumeCondition() local
2850 ProgramStateRef StTrue = PrevState, StFalse = PrevState; in processBranch() local