diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-02-03 17:44:41 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-05 08:17:45 -0400 |
| commit | d1987ffdc27f0302dba0958083d69b7241194c1c (patch) | |
| tree | b0face5cbd3eec10dcc4257726e20ce8c14b66e7 /gcc/gimple-expr.c | |
| parent | ca124a628569b6f3038223b690d051f9ab5344f1 (diff) | |
| download | gcc-d1987ffdc27f0302dba0958083d69b7241194c1c.zip gcc-d1987ffdc27f0302dba0958083d69b7241194c1c.tar.gz gcc-d1987ffdc27f0302dba0958083d69b7241194c1c.tar.bz2 | |
[Ada] Move routine for detecting special Text_IO packages from GNATprove
2020-06-05 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* rtsfind.ads, rtsfind.adb (Is_Text_IO_Special_Package): Moved
from the GNATprove backend to the frontend.
Diffstat (limited to 'gcc/gimple-expr.c')
0 files changed, 0 insertions, 0 deletions