diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2021-05-21 10:45:21 +0200 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2021-05-21 10:45:21 +0200 |
| commit | 932198a8e1b6ab26201a265ced3a8c4802304146 (patch) | |
| tree | 5616d6238ac30801ccfdcf53ad58ed699ffde584 /gcc/ada/gcc-interface/utils.c | |
| parent | 1e66a9170071aded59dda09ac437757de4223346 (diff) | |
| download | gcc-932198a8e1b6ab26201a265ced3a8c4802304146.zip gcc-932198a8e1b6ab26201a265ced3a8c4802304146.tar.gz gcc-932198a8e1b6ab26201a265ced3a8c4802304146.tar.bz2 | |
Always translate Is_Pure flag into pure in C sense
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.
gcc/ada/
* gcc-interface/decl.c (gnat_to_gnu_subprog_type): Always translate
the Is_Pure flag into the "pure" attribute of GNU C.
Diffstat (limited to 'gcc/ada/gcc-interface/utils.c')
0 files changed, 0 insertions, 0 deletions