Home
last modified time | relevance | path

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

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