Summary
An optional detector for identifying potentially problematic loops. It focuses on loops whose conditions are either always true or compare against unusually large constants. This detector would utilize the Tact constant evaluator to analyze condition expressions.

Context
Such loops pose risks of being unbounded or consuming excessive gas. By flagging these suspicious patterns, this optional detector aims to assist auditors in their code review process, enhancing the identification of potential performance and security issues.

Examples

// Loop with excessive iterations
repeat (1_000_001) { // Highlighted by detector 
  // ...
}