Home
last modified time | relevance | path

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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCoreEngine.h407 bool InFeasibleFalse; variable
414 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
424 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
439 InFeasibleFalse = true; in markInfeasible()
443 return branch ? !InFeasibleTrue : !InFeasibleFalse; in isFeasible()