projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aab8cf8) | patch
[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)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 16 Jul 2020 09:18:00 +0000 (05:18 -0400)
commitb5a05dc501aab8cd35122c98a161ddcb15facb9b
tree75ea13b6ac513d3443d8ff770bba04eafaab7549tree
parentaab8cf8ba42686aa9dee8a2bd61281c921784893commit | diff
[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 diff | blob | history