OSDN Git Service

2012-01-23 Vincent Pucci <pucci@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 23 Jan 2012 09:44:36 +0000 (09:44 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 23 Jan 2012 09:44:36 +0000 (09:44 +0000)
commitcf46479c8822432577bb39e92e2c90f87c33cd56
treed363ab9ac2c63c960ed2eacb4e490ac791d30eea
parent316bdf8e6154f22d3f3c55d58c1124d212e6732b
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183422 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/sem_ch12.adb
gcc/ada/sem_prag.adb
gcc/ada/sem_prag.ads