diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2019-08-21 08:29:56 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-21 08:29:56 +0000 |
| commit | 92ef57728eeec64cbe2c83cee3409466e3c98448 (patch) | |
| tree | 1d2840945e7053df731fc142f7149d51afd1702d /gcc/ada/sem_spark.adb | |
| parent | 5c34f30d16b99d7d0898d19193b3890452efa7cf (diff) | |
| download | gcc-92ef57728eeec64cbe2c83cee3409466e3c98448.zip gcc-92ef57728eeec64cbe2c83cee3409466e3c98448.tar.gz gcc-92ef57728eeec64cbe2c83cee3409466e3c98448.tar.bz2 | |
[Ada] Do not rewrite argument of pragma Entry_Queue_Length in analysis
It was unusual for the analysis phase of compiler to rewrite static
expression of pragma Entry_Queue_Length with its value. This typically
happens when expanding the AST and only if needed for a given backend.
In particular, GNATprove doesn't need such an expansion and actually
needs the unrewritten AST to detect references to constants declared
with SPARK_Mode => Off within a code with SPARK_Mode => On.
This change has no impact on compilation, so no frontend test is
provided.
2019-08-21 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_prag.adb (Max_Entry_Queue_Length): Do not substitute
expression of the pragma argument with its value during
analysis.
* sem_util.adb (Get_Max_Queue_Length): Compute value of the
pragma argument when needed.
From-SVN: r274781
Diffstat (limited to 'gcc/ada/sem_spark.adb')
0 files changed, 0 insertions, 0 deletions