> I'm testing the attached patch. Does it fix your ada failures?
No, it totally breaks stack checking. :-(
=== acats tests ===
FAIL: c52103x
FAIL: c52104x
+FAIL: c52104y
+FAIL: cb1010a
+FAIL: cb1010c
+FAIL: cb1010d
=== acats Summary ===
-# of expected passes 2318
-# of unexpected failures 2
+# of expected passes 2314
+# of unexpected failures 6
Native configuration is x86_64-suse-linux-gnu
=== gcc tests ===
@@ -133,11 +137,24 @@
Running target unix
+FAIL: gnat.dg/opt49.adb 3 blank line(s) in output
+FAIL: gnat.dg/opt49.adb (test for excess errors)
+UNRESOLVED: gnat.dg/opt49.adb compilation failed to produce executable
+FAIL: gnat.dg/stack_check1.adb 3 blank line(s) in output
+FAIL: gnat.dg/stack_check1.adb (test for excess errors)
+UNRESOLVED: gnat.dg/stack_check1.adb compilation failed to produce executable
+FAIL: gnat.dg/stack_check2.adb 3 blank line(s) in output
+FAIL: gnat.dg/stack_check2.adb (test for excess errors)
+UNRESOLVED: gnat.dg/stack_check2.adb compilation failed to produce executable
+FAIL: gnat.dg/stack_check3.adb 3 blank line(s) in output
+FAIL: gnat.dg/stack_check3.adb (test for excess errors)
/home/eric/svn/gcc/gcc/testsuite/gnat.dg/opt49.adb:31:4: error: unrecognizable
insn:
(insn 33 32 34 8 (parallel [
(set (mem/v:DI (reg/f:DI 7 sp) [0 S8 A8])
(unspec [
(const_int 0 [0])
] UNSPEC_PROBE_STACK))
(clobber (reg:CC 17 flags))
]) /home/eric/svn/gcc/gcc/testsuite/gnat.dg/opt49.adb:17 -1
(nil))
+===========================GNAT BUG DETECTED==============================+
| 7.0.0 20160429 (experimental) [trunk revision 235619] (x86_64-suse-linux)
GCC error:|
| in extract_insn, at recog.c:2287 |
| Error detected around
/home/eric/svn/gcc/gcc/testsuite/gnat.dg/opt49.adb:31:4|
--
Eric Botcazou
