> Tested on x86-64/Linux, applied on the mainline, 11 and 10 branches.
>
>
> 2021-05-21 Eric Botcazou
>
> * gcc-interface/decl.c (gnat_to_gnu_subprog_type): Always translate
> the Is_Pure flag into the "pure" attribute of GNU C.
This is the missing piece, applied on the same bran
Gigi has historically translated the Is_Pure flag of the front-end into
the "const" attribute of GNU C. That's correct for subprograms of pure
Ada units, but not fully exact according to the semantics of the flag.
Tested on x86-64/Linux, applied on the mainline, 11 and 10 branches.
2021-05-21
