diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-10-06 12:12:28 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-24 05:16:05 -0500 |
| commit | 428b1317a5a94d5a99bdc617bac908cf8a10af25 (patch) | |
| tree | 42e0e4cb9550b629806bea18c063a3fe74b81b8e /gcc/ada/contracts.adb | |
| parent | 3a6fa9a81bdbd5491204e68b2ad5a5d8516d56a1 (diff) | |
| download | gcc-428b1317a5a94d5a99bdc617bac908cf8a10af25.zip gcc-428b1317a5a94d5a99bdc617bac908cf8a10af25.tar.gz gcc-428b1317a5a94d5a99bdc617bac908cf8a10af25.tar.bz2 | |
[Ada] Replace chained if-then-elsif with case stmt for attribute ids
gcc/ada/
* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Rewrite
with a CASE statement.
Diffstat (limited to 'gcc/ada/contracts.adb')
0 files changed, 0 insertions, 0 deletions