projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca124a6) | patch
[Ada] Move routine for detecting special Text_IO packages from GNATprove
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 3 Feb 2020 16:44:41 +0000 (17:44 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 5 Jun 2020 12:17:45 +0000 (08:17 -0400)
commitd1987ffdc27f0302dba0958083d69b7241194c1c
treeb0face5cbd3eec10dcc4257726e20ce8c14b66e7tree
parentca124a628569b6f3038223b690d051f9ab5344f1commit | diff
[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.
gcc/ada/rtsfind.adb diff | blob | history
gcc/ada/rtsfind.ads diff | blob | history