]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Simplify implicit loading of Tasking_State in GNATprove_Mode
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 6 May 2020 15:19:56 +0000 (17:19 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 6 Jul 2020 11:35:01 +0000 (07:35 -0400)
commit114efadf43a21f1c56b2b79cdabc0bea91ca68d5
tree8a5334f7ad768ebf8eb03835df67fcd521bd0e9c
parenta34da56b26df1db73c20d36ae753173999bd46da
[Ada] Simplify implicit loading of Tasking_State in GNATprove_Mode

gcc/ada/

* sem_attr.adb (Analyze_Attribute): Reuse SPARK_Implicit_Load.
gcc/ada/sem_attr.adb