Home
last modified time | relevance | path

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

/llvm-project-15.0.7/llvm/lib/Transforms/Scalar/
H A DLoopDeletion.cpp42 static cl::opt<bool> EnableSymbolicExecution( variable
222 if (!EnableSymbolicExecution) in canProveExitOnFirstIteration()