I just came here to say I had a multi loop with some thorny Status handling and I love that the following can be so helpful by itself.
Gnat Studio => SPARK => Examine all sources => Do not report warnings => Analysis mode => flow analysis.
4 Likes