SPRUI04G June 2015 – August 2025
advice #30010: If you know that this loop will always execute at least <2> times, try adding "#pragma MUST_ITERATE(2)" just before the loop.
See Advice #30009 at Section 4.15.14.