https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89713
--- Comment #2 from Feng Xue <fxue at os dot amperecomputing.com> --- Yes, people seldom write an empty loop in real application. These loops are always by-products of some loop optimizations, such as loop unswitch and loop split etc. Pragma does be a means to pass loop information to gcc, but have to modify existing source.