https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57160
Thomas Koenig <tkoenig at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |ASSIGNED Resolution|DUPLICATE |--- Assignee|unassigned at gcc dot gnu.org |tkoenig at gcc dot gnu.org --- Comment #6 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- It is not actually a complete duplicate of PR 85599, it is just similar. I have a patch which introduces the ASSOCIATE warning, but not (yet) the division part. The problem there is what we should consider for a warning. if (a != 0 .and. 1/a > 10.) ? Probably. if (a>0 .and. b>0 .and 1/(a+b)) ? Hm. Any suggestions?