ΒΆbool isMustProgress(const llvm::Loop* L)

Description

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 at: llvm/include/llvm/Analysis/LoopInfo.h:1356

Parameters

const llvm::Loop* L