Hi Thomas, Thomas Koenig wrote: > This patch takes the approach that any array bound which > contains a dummy variable which is not INTENT(IN) may be > changed by the user, and that we cannot be assured that > it will not be changed.
How about sym->attr.flavor == FL_PARAMETER? I am not sure whether they are handled before, but if not not you really should regard them as constant - even more than INTENT(IN). Can you check whether it makes a difference, and at least if it does, handle it as well and add a test case for it? Otherwise, the patch looks okay. Thanks, Tobias