https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64854
Dominique d'Humieres <dominiq at lps dot ens.fr> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |WAITING Last reconfirmed| |2015-01-29 Ever confirmed|0 |1 --- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- Well, you give wrong information to the compiler. How do expect it to handle your mistake: in testsub -fcheck=bounds checks that n1<=i<=n2 which is the case. What you ask for is a check that a(n1:n2) is inside a(1:10), AFAIK such check is not implemented and I don't have any idea about how difficult it is to implement it. I am inclined to close tis PR as INVALID or WONTFIX.