It is used to specify which files are compiled with -gnato, but the switch has 
been the default for at least a decade.

Tested on x86-64/Linux, applied on the mainline.


2025-05-22  Eric Botcazou  <ebotca...@adacore.com>

        * ada/acats/overflow.lst: Delete.
        * ada/acats/run_all.sh: Do not process overflow.lst.

-- 
Eric Botcazou
diff --git a/gcc/testsuite/ada/acats/overflow.lst b/gcc/testsuite/ada/acats/overflow.lst
deleted file mode 100644
index fb76ef17705..00000000000
--- a/gcc/testsuite/ada/acats/overflow.lst
+++ /dev/null
@@ -1,17 +0,0 @@
-c45632a
-c45632b
-c45632c
-c45504a
-c45504b
-c45504c
-c45613a
-c45613b
-c45613c
-c45304a
-c45304b
-c45304c
-c46014a
-c460008
-c460011
-c4a012b
-cb20004
diff --git a/gcc/testsuite/ada/acats/run_all.sh b/gcc/testsuite/ada/acats/run_all.sh
index 38ec4692899..2f737854c60 100755
--- a/gcc/testsuite/ada/acats/run_all.sh
+++ b/gcc/testsuite/ada/acats/run_all.sh
@@ -303,10 +303,6 @@ for chapter in $chapters; do
       fi
 
       extraflags="-gnat95"
-      grep $i $testdir/overflow.lst > /dev/null 2>&1
-      if [ $? -eq 0 ]; then
-         extraflags="$extraflags -gnato"
-      fi
       grep $i $testdir/elabd.lst > /dev/null 2>&1
       if [ $? -eq 0 ]; then
          extraflags="$extraflags -gnatE"

Reply via email to