[Ada] Replace chained if-then-elsif with case stmt for attribute ids
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 6 Oct 2020 10:12:28 +0000 (12:12 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 24 Nov 2020 10:16:05 +0000 (05:16 -0500)
commit428b1317a5a94d5a99bdc617bac908cf8a10af25
tree42e0e4cb9550b629806bea18c063a3fe74b81b8e
parent3a6fa9a81bdbd5491204e68b2ad5a5d8516d56a1
[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.
gcc/ada/exp_spark.adb