[Bug fortran/97320] False positive "Array reference out of bounds in loop" in a protecting if block

[dominiq at lps dot ens.fr via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97320

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2020-10-07

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
The manual says

Warn if an array subscript inside a DO loop could lead to an out-of-bounds
access 
even if the compiler cannot prove that the statement is actually executed, 
in cases like

or don't use -Wdo-subscript if there is an IF in the DO block.