This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r263092 - in /trunk/gcc/ada: ChangeLog ali.adb
- From: pmderodat at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 31 Jul 2018 09:55:33 -0000
- Subject: r263092 - in /trunk/gcc/ada: ChangeLog ali.adb
Author: pmderodat
Date: Tue Jul 31 09:55:32 2018
New Revision: 263092
URL: https://gcc.gnu.org/viewcvs?rev=263092&root=gcc&view=rev
Log:
[Ada] Deconstruct 'F' as a prefix for an ALI data
In GNATprove we used to store a variant of cross-reference information in
the ALI file in lines that started with an 'F' letter. This is no longer
the case, so the letter can be returned to the pool of unused prefixes.
2018-07-31 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* ali.adb (Known_ALI_Lines): Remove 'F' as a prefix for lines
related to the FORMAL analysis done by GNATprove.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/ali.adb