projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: efd0843) | patch
[Ada] AI12-0235 System.Storage_Pools should be pure
authorArnaud Charlet <charlet@adacore.com>
Fri, 31 Jan 2020 11:05:01 +0000 (06:05 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 5 Jun 2020 12:17:36 +0000 (08:17 -0400)
commitf191b2c8646a8d37a869752919fbfbe39a94cc72
tree6a72f587d84b90f7ddaf6e24ee0ad8f1b0718ab6tree
parentefd0843da81aafee053afe573bfa944bbd1ee32bcommit | diff
[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.
gcc/ada/libgnat/s-stopoo.ads diff | blob | history