https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82296
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |jakub at gcc dot gnu.org Resolution|--- |INVALID --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- We have a warning that handles the easiest counted loops, for anything else the warning is too hard (could produce too many false positives). Just use -fsanitize=undefined or other runtime instrumentation to find such bugs.