From: Eric Botcazou <ebotcazou@adacore.com>
Date: Wed, 14 Aug 2019 09:52:43 +0000 (+0000)
Subject: [Ada] Further cleanup in inlining machinery
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0cc1d9ad98fdabe6c577de1a83c4e12821f0c333;p=gcc.git

[Ada] Further cleanup in inlining machinery

No practical functional changes.

2019-08-14  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* inline.adb (Add_Pending_Instantiation): Use greater-or-equal
	in the comparison against the maximum number of instantiations.

From-SVN: r274471
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 1c869e12359..a8de8110586 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2019-08-14  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* inline.adb (Add_Pending_Instantiation): Use greater-or-equal
+	in the comparison against the maximum number of instantiations.
+
 2019-08-14  Ed Schonberg  <schonberg@adacore.com>
 
 	* sem_aux.adb (Next_Rep_Item): If a node in the rep chain
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb
index 5dbd9a14bd5..15cec5158a3 100644
--- a/gcc/ada/inline.adb
+++ b/gcc/ada/inline.adb
@@ -794,7 +794,7 @@ package body Inline is
       --  Here is a defense against a ludicrous number of instantiations
       --  caused by a circular set of instantiation attempts.
 
-      if Pending_Instantiations.Last > Maximum_Instantiations then
+      if Pending_Instantiations.Last >= Maximum_Instantiations then
          Error_Msg_Uint_1 := UI_From_Int (Maximum_Instantiations);
          Error_Msg_N ("too many instantiations, exceeds max of^", Inst);
          Error_Msg_N ("\limit can be changed using -gnateinn switch", Inst);