Check if the first non-constant condition starting from the loop header is a trivial unswitch condition: that is, a condition controls whether or not the loop does anything at all. If it is a trivial condition, unswitching produces no code duplications (equivalently, it produces a simpler loop and a new empty loop, which gets deleted). Therefore always unswitch trivial condition.
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected