Hi David,
I'm taking the liberty of adding the reproducer for this to gfortran.dg/analyzer as a regression test; hope that's OK.
Sure. Adding a passing test case like that certainly falls under the
"obvious and simple" rule.
Best regards
Thomas
