https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97617
--- Comment #2 from Jan Smets <jan.smets at nokia dot com> --- Is it maybe a possibility to report the (possible) false positives with something like -Waggressive-loop-optimizations=2 ? Would that only require a skip of single_exit() in do_warn_aggressive_loop_optimizations, or is there more to it? Thanks