Home
last modified time | relevance | path

Searched refs:InFeasibleTrue (Results 1 – 1 of 1) sorted by relevance

/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h434 bool InFeasibleTrue; variable
444 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
454 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
467 InFeasibleTrue = true; in markInfeasible()
473 return branch ? !InFeasibleTrue : !InFeasibleFalse; in isFeasible()