Home
last modified time | relevance | path

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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCoreEngine.h403 bool InFeasibleTrue; variable
411 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
421 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
434 InFeasibleTrue = true; in markInfeasible()
440 return branch ? !InFeasibleTrue : !InFeasibleFalse; in isFeasible()