sem_res.adb (Check_Infinite_Recursion): Diagnose definite infinite recursion and...
authorRobert Dewar <dewar@adacore.com>
Wed, 26 Mar 2008 07:42:37 +0000 (08:42 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 26 Mar 2008 07:42:37 +0000 (08:42 +0100)
commit26570b21745ef73ffb6df68712cd3fb6932fe602
tree975257c84c75b35b22c3dda0a9c2cd03cac46437
parent7d823354f4372fc03b630275587b4873b9fef031
sem_res.adb (Check_Infinite_Recursion): Diagnose definite infinite recursion and raise SE directly.

2008-03-26  Robert Dewar  <dewar@adacore.com>

* sem_res.adb (Check_Infinite_Recursion): Diagnose definite infinite
recursion and raise SE directly.
(Resolve_Actuals): Reset Never_Set_In_Source if warnings off is
set for formal type for IN mode parameter.

From-SVN: r133579
gcc/ada/sem_res.adb