Home
last modified time | relevance | path

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

/external/llvm/lib/Analysis/
DDependenceAnalysis.cpp2537 bool Disproved = false; in banerjeeMIVtest() local
2552 Disproved = true; in banerjeeMIVtest()
2562 Disproved = true; in banerjeeMIVtest()
2567 Disproved = true; in banerjeeMIVtest()
2572 return Disproved; in banerjeeMIVtest()