]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Do not perform null exclusion static checks on generated entities
authorGhjuvan Lacambre <lacambre@adacore.com>
Fri, 5 Jun 2020 07:46:15 +0000 (09:46 +0200)
committerGiuliano Belinassi <giuliano.belinassi@usp.br>
Mon, 17 Aug 2020 16:18:03 +0000 (13:18 -0300)
commit6b7e44c3a4ee6b4328d6dfc76cdc15266d499690
tree661e2a4257745ee9462ea1f6fdb25104fd8f8fee
parent2032373b9c10c1c1b4b87e7f53fc58798ff49826
[Ada] Do not perform null exclusion static checks on generated entities

gcc/ada/

* sem_ch3.adb (Analyze_Object_Declaration): Add
Comes_From_Source call.
gcc/ada/sem_ch3.adb