[Bug ada/98230] incorrect Type'Mod during a loop whose range is computed by a variable

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Eric Botcazou
<ebotca...@gcc.gnu.org>:

https://gcc.gnu.org/g:bc7d2977d108ed00c30c9f21d5701f28ffb50f29

commit r10-9137-gbc7d2977d108ed00c30c9f21d5701f28ffb50f29
Author: Ed Schonberg <schonb...@adacore.com>
Date:   Thu Dec 10 22:26:57 2020 +0100

    Fix PR ada/98230

    It's a rather curious malfunction of the 'Mod attribute applied to the
    variable of a loop whose upper bound is dynamic.

    gcc/ada/ChangeLog:
            PR ada/98230
            * exp_attr.adb (Expand_N_Attribute_Reference, case Mod): Use base
            type of argument to obtain static bound and required size.

    gcc/testsuite/ChangeLog:
            * gnat.dg/modular6.adb: New test.