diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2018-07-31 09:55:32 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-31 09:55:32 +0000 |
| commit | e8723e74410de463cdba50e31489f7803387c9bd (patch) | |
| tree | 8c7c573bcaa93398857918ab93df3abc24d36d80 /gcc/ada/lib-xref.adb | |
| parent | b09a237ab879a169416c3be1af8a773e982fd53a (diff) | |
| download | gcc-e8723e74410de463cdba50e31489f7803387c9bd.zip gcc-e8723e74410de463cdba50e31489f7803387c9bd.tar.gz gcc-e8723e74410de463cdba50e31489f7803387c9bd.tar.bz2 | |
[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.
From-SVN: r263092
Diffstat (limited to 'gcc/ada/lib-xref.adb')
0 files changed, 0 insertions, 0 deletions