Return true if this loop can be assumed to make progress. (i.e. can't be infinite without side effects without also being undefined)
Declared in <llvm/Analysis/LoopInfo.h>
<llvm/Analysis/LoopInfo.h>
bool isMustProgress(Loop const* L);
True if L can be assumed to make progress.
L