From: Eric Botcazou <ebotcazou@adacore.com>
Date: Wed, 18 Jan 2023 23:37:18 +0000 (+0100)
Subject: ada: Make use of Cannot_Be_Superflat flag on N_Range nodes
X-Git-Tag: basepoints/gcc-15~8753
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a91b145bd6903aa526de8f5c7b1586045b574e31;p=thirdparty%2Fgcc.git

ada: Make use of Cannot_Be_Superflat flag on N_Range nodes

gcc/ada/

	* gcc-interface/decl.cc (range_cannot_be_superflat): Return true
	immediately if Cannot_Be_Superflat is set.
	* gcc-interface/misc.cc (gnat_post_options): Do not override the
	-Wstringop-overflow setting.
---

diff --git a/gcc/ada/gcc-interface/decl.cc b/gcc/ada/gcc-interface/decl.cc
index ec61593a65b8..53a112435903 100644
--- a/gcc/ada/gcc-interface/decl.cc
+++ b/gcc/ada/gcc-interface/decl.cc
@@ -6673,6 +6673,10 @@ range_cannot_be_superflat (Node_Id gnat_range)
   Node_Id gnat_scalar_range;
   tree gnu_lb, gnu_hb, gnu_lb_minus_one;
 
+  /* This is the easy case.  */
+  if (Cannot_Be_Superflat (gnat_range))
+    return true;
+
   /* If the low bound is not constant, take the worst case by finding an upper
      bound for its type, repeatedly if need be.  */
   while (Nkind (gnat_lb) != N_Integer_Literal
diff --git a/gcc/ada/gcc-interface/misc.cc b/gcc/ada/gcc-interface/misc.cc
index b18ca8c7d884..56c7bb9b5334 100644
--- a/gcc/ada/gcc-interface/misc.cc
+++ b/gcc/ada/gcc-interface/misc.cc
@@ -267,9 +267,6 @@ gnat_post_options (const char **pfilename ATTRIBUTE_UNUSED)
   /* No return type warnings for Ada.  */
   warn_return_type = 0;
 
-  /* No string overflow warnings for Ada.  */
-  warn_stringop_overflow = 0;
-
   /* No caret by default for Ada.  */
   if (!OPTION_SET_P (flag_diagnostics_show_caret))
     global_dc->show_caret = false;