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.h406 bool InFeasibleTrue; variable
414 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
424 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()
437 InFeasibleTrue = true; in markInfeasible()
443 return branch ? !InFeasibleTrue : !InFeasibleFalse; in isFeasible()