sem_ch6.adb (Set_Formal_Mode): Set Can_Never_Be_Null on an IN or IN OUT formal parame...
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 26 Sep 2011 08:37:32 +0000 (08:37 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Mon, 26 Sep 2011 08:37:32 +0000 (08:37 +0000)
commita1d7228158d344b16ef9baf8c8ed7a27649fc410
tree1d6e7e65f276bcee9b39e805d783db259b4fedbd
parenta1c7d7973c44afbee5e1251b200cc6e7a27409b1
sem_ch6.adb (Set_Formal_Mode): Set Can_Never_Be_Null on an IN or IN OUT formal parameter which is of an...

* sem_ch6.adb (Set_Formal_Mode): Set Can_Never_Be_Null on an IN or IN
OUT formal parameter which is of an null-exclusion access subtype.

Co-Authored-By: Robert Dewar <dewar@adacore.com>
From-SVN: r179183
gcc/ada/ChangeLog
gcc/ada/sem_ch6.adb