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

Reply via email to