Home
last modified time | relevance | path

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

/freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DConstraintManager.cpp68 ProgramStateRef StFalse = Assume(false); in assumeDualImpl() local
84 ProgramStateRef StFalse = Assume(false); in assumeDualImpl() local
H A DCheckerContext.cpp144 ProgramStateRef StTrue, StFalse; evalComparison() local
H A DExprEngine.cpp2738 ProgramStateRef StTrue, StFalse; assumeCondition() local
2784 ProgramStateRef StTrue, StFalse; processBranch() local
/freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DExprInspectionChecker.cpp148 ProgramStateRef StTrue, StFalse; in getArgumentValueString() local