diff options
| author | Yannick Moy <moy@adacore.com> | 2022-10-31 11:33:12 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-14 14:46:50 +0100 |
| commit | 442886a99dae94012575bcc1cd3407284da42081 (patch) | |
| tree | f8400bd12e9b0f2854839478fa203b6d04a1b025 /gcc/tree-vect-patterns.cc | |
| parent | 28e5c45bd519aa363cba1eec4d215b173c360cab (diff) | |
| download | gcc-442886a99dae94012575bcc1cd3407284da42081.zip gcc-442886a99dae94012575bcc1cd3407284da42081.tar.gz gcc-442886a99dae94012575bcc1cd3407284da42081.tar.bz2 | |
ada: Fix error on SPARK_Mode on library-level separate body
When applying explicitly SPARK_Mode on a separate library-level spec
and body for which a contract needs to be checked, compilation with
-gnata was failing on a spurious error related to SPARK_Mode
placement. Now fixed.
gcc/ada/
* sem_prag.adb (Analyze_Pragma): Add special case for the special
local subprogram created for contracts.
Diffstat (limited to 'gcc/tree-vect-patterns.cc')
0 files changed, 0 insertions, 0 deletions