Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DLoopDeletion.cpp40 static cl::opt<bool> EnableSymbolicExecution( variable
219 if (!EnableSymbolicExecution) in canProveExitOnFirstIteration()