frontend.adb (Frontend): Skip -gnatec=gnat.adc switch, because we've already read...
authorBob Duff <duff@adacore.com>
Wed, 6 Sep 2017 10:29:47 +0000 (10:29 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Sep 2017 10:29:47 +0000 (12:29 +0200)
commit9caf55e370f2346d393e141b8fb4c4e59afc32c9
treee4bb54c36f23438917aa71ce413eb309e035d813
parent6877306fbd70a365ebb8e427e108a399ae924498
frontend.adb (Frontend): Skip -gnatec=gnat.adc switch, because we've already read gnat.adc by default.

2017-09-06  Bob Duff  <duff@adacore.com>

* frontend.adb (Frontend): Skip -gnatec=gnat.adc
switch, because we've already read gnat.adc by default.

2017-09-06  Bob Duff  <duff@adacore.com>

* exp_ch5.adb (Get_Default_Iterator): Replace
"Assert(False)" with "return Iter", because if an iterable
type is derived from a noniterable one, then we won't find an
overriding or inherited default iterator.

From-SVN: r251774
gcc/ada/ChangeLog
gcc/ada/exp_ch5.adb
gcc/ada/frontend.adb