1 files changed, 21 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr118902-1.c b/gcc/testsuite/gcc.dg/tree-ssa/pr118902-1.c
new file mode 100644
index 0000000..fa21b8a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr118902-1.c
@@ -0,0 +1,21 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+void foo(int);
+void l(int**);
+int f1(int j, int t)
+{
+  int p = 0;
+  int *a = &p;
+  l(&a);
+  if (a == &p)
+    return 0;
+  for(int i = 0; i < j; i++)
+  {
+    if (a == &p) foo(p);
+  }
+  return 0;
+}
+
+/* We should be able to remove the call to foo because a is never equal to &p inside the loop.  */
+/* { dg-final { scan-tree-dump-not "foo " "optimized"} } */