1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-33.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-33.c
new file mode 100644
index 000000000..753676994
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-33.c
@@ -0,0 +1,17 @@
+/* { dg-do link } */
+/* { dg-options "-O" } */
+
+extern void link_error ();
+int a[256];
+void foo(int n)
+{
+  int *p;
+  for (p = a; n != 0; --n, ++p)
+    ;
+  if ((__SIZE_TYPE__)p & (__alignof__ (int) - 1))
+    link_error ();
+}
+int main()
+{
+  return 0;
+}