sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call to Make_Aspect_For_PPC_In...
authorVincent Pucci <pucci@adacore.com>
Mon, 23 Jan 2012 09:44:36 +0000 (09:44 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 23 Jan 2012 09:44:36 +0000 (10:44 +0100)
commitf6834394dd722a10aa72718cd7880bdda49f7f80
treed363ab9ac2c63c960ed2eacb4e490ac791d30eea
parent2d38d84862ab6bebf9d5bac9e3fb99d3fcbbbe6c
sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call to Make_Aspect_For_PPC_In_Gen_Sub_Decl added in ASIS mode.

2012-01-23  Vincent Pucci  <pucci@adacore.com>

* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call
to Make_Aspect_For_PPC_In_Gen_Sub_Decl added in ASIS mode.
* sem_prag.adb, sem_prag.ads (Make_Aspect_For_PPC_In_Gen_Sub_Decl): New
routine. In ASIS mode, convert any PPC pragmas into aspects in generic
subprogram declaration in order to enable the analysis of PPC boolean
expressions.

From-SVN: r183422
gcc/ada/ChangeLog
gcc/ada/sem_ch12.adb
gcc/ada/sem_prag.adb
gcc/ada/sem_prag.ads