Loop analysis is a key component of static analysis tools. Unfortunately it has a number of rare edge cases. As a tool moves from academic prototype to production-ready, even obscure cases can and do occur. This results in loop analysis being a key source of late-discovered but significant algo- rithmic bugs. To avoid these, this paper presents a collection of examples and “folk lore” challenges in loop analysis.