OSDN Git Service

Update list of tests requiring stack checking
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 14 Sep 2006 10:12:03 +0000 (10:12 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 14 Sep 2006 10:12:03 +0000 (10:12 +0000)
Add handling of tests using Ada 95 semantics and thus requiring -gnat95 switch

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@116944 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/testsuite/ada/acats/ada95.lst [new file with mode: 0644]
gcc/testsuite/ada/acats/run_all.sh
gcc/testsuite/ada/acats/stackcheck.lst

diff --git a/gcc/testsuite/ada/acats/ada95.lst b/gcc/testsuite/ada/acats/ada95.lst
new file mode 100644 (file)
index 0000000..839d5df
--- /dev/null
@@ -0,0 +1,31 @@
+ac3106a
+c34005p
+c34005r
+c34005s
+c34005u
+c34005v
+c34006g
+c34006j
+c34006l
+c34008a
+c3a0014
+c41103b
+c41203b
+c41306a
+c460a01
+c650001
+c74302b
+c74306a
+c85014a
+c85014b
+c85014c
+c87b26b
+c87b41a
+c99004a
+cb40005
+cc3019c
+cc51b03
+cc51d02
+cd10002
+cdd2a03
+cxac005
index e452272..ddd4da0 100755 (executable)
@@ -226,6 +226,10 @@ for chapter in $chapters; do
       if [ $? -eq 0 ]; then
          extraflags="$extraflags -fstack-check"
       fi
+      grep $i $testdir/ada95.lst > /dev/null 2>&1
+      if [ $? -eq 0 ]; then
+         extraflags="$extraflags -gnat95"
+      fi
       test=$dir/tests/$chapter/$i
       mkdir $test && cd $test >> $dir/acats.log 2>&1