1 files changed, 27 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/guality/asm-1.c b/gcc/testsuite/gcc.dg/guality/asm-1.c
new file mode 100644
index 000000000..e9cf4a167
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/guality/asm-1.c
@@ -0,0 +1,27 @@
+/* { dg-do run } */
+/* { dg-options "-g" } */
+
+#include "../nop.h"
+
+struct A { int x; unsigned short y; char z[64]; };
+
+void __attribute__((noinline))
+foo (struct A *p, char *q)
+{
+  int f = &p->z[p->y] - q;
+  asm volatile (NOP);
+  asm volatile (NOP : : "g" (f));		/* { dg-final { gdb-test 14 "f" "14" } } */
+  asm volatile ("" : : "g" (p), "g" (q));
+}
+
+int
+main ()
+{
+  struct A a;
+  __builtin_memset (&a, 0, sizeof a);
+  a.y = 26;
+  a.x = 12;
+  asm volatile ("" : : "r" (&a) : "memory");
+  foo (&a, &a.z[a.x]);
+  return 0;
+}