diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-01-31 06:05:01 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-05 08:17:36 -0400 |
| commit | f191b2c8646a8d37a869752919fbfbe39a94cc72 (patch) | |
| tree | 6a72f587d84b90f7ddaf6e24ee0ad8f1b0718ab6 /gcc/gimple-expr.c | |
| parent | efd0843da81aafee053afe573bfa944bbd1ee32b (diff) | |
| download | gcc-f191b2c8646a8d37a869752919fbfbe39a94cc72.zip gcc-f191b2c8646a8d37a869752919fbfbe39a94cc72.tar.gz gcc-f191b2c8646a8d37a869752919fbfbe39a94cc72.tar.bz2 | |
[Ada] AI12-0235 System.Storage_Pools should be pure
2020-06-05 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* libgnat/s-stopoo.ads: Mark package Pure and leave room for
Nonblocking once this aspect is supported.
Diffstat (limited to 'gcc/gimple-expr.c')
0 files changed, 0 insertions, 0 deletions