alias.c (nonoverlapping_component_refs_p): Take two rtx arguments.

	* alias.c (nonoverlapping_component_refs_p): Take two rtx arguments.
	(nonoverlapping_memrefs_p): Don't call it here ...
	(true_dependence_1): ... but here.

testsuite/
	* gcc.dg/torture/alias-1.c: New test.

From-SVN: r188448

1 files changed, 38 insertions, 0 deletions

diff --git a/gcc/testsuite/gcc.dg/torture/alias-1.c b/gcc/testsuite/gcc.dg/torture/alias-1.c
new file mode 100644
index 0000000..1e60341
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/alias-1.c
@@ -0,0 +1,38 @@
+/* { dg-do run } */
+/* { dg-options "-fschedule-insns" } */
+
+extern void abort (void) __attribute__((noreturn));
+
+struct B { int a; int b;};
+struct wrapper {
+union setconflict
+{
+  struct S { char one1; struct B b1; } s;
+  struct T { struct B b2; char two2; } t;
+} a;
+};
+
+int
+main ()
+{
+  int sum = 0;
+  int i;
+  struct wrapper w;
+  struct B *p;
+
+  p = &w.a.s.b1;
+  asm ("": "=r" (p):"0" (p));
+  p->a = 0;
+  asm ("": "=r" (p):"0" (p));
+  sum += p->a;
+
+  p = &w.a.t.b2;
+  asm ("": "=r" (p):"0" (p));
+  p->b = 1;
+  asm ("": "=r" (p):"0" (p));
+  sum += p->b;
+
+  if (sum != 1)
+    abort();
+  return 0;
+}