[Bug fortran/39772] -fcheck=bounds could check for overflow of size intrinsic.

[Joost.VandeVondele at mat dot ethz.ch]

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

Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
            Summary|add a correctness check for |-fcheck=bounds could check
                   |the size intrinsic to       |for overflow of size
                   |-fbounds-check              |intrinsic.

--- Comment #13 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> ---
(In reply to Dominique d'Humieres from comment #11)
> Am I correct that you are asking for something like -fcheck=undefined
> (overflow, range, ... what ever is deemed suitable) for intrinsics returning
> by default an INTEGER(4)?

yes.

> 
> If yes, the summary should probably changed to be less misleading (I had to
> read the thread twice to understand).

done