Add optmization testcase for incorrect optimization in Ada

gcc/testsuite/
	PR tree-optimization/104356
	* gnat.dg/opt97.adb: New test.

diff --git a/gcc/testsuite/gnat.dg/opt97.adb b/gcc/testsuite/gnat.dg/opt97.adb
new file mode 100644 (file)
index 0000000..1bf6a75
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/opt97.adb
@@ -0,0 +1,25 @@
+-- { dg-do compile }
+-- { dg-options "-O2 -fdump-tree-optimized" }
+
+with System.Unsigned_Types; use System.Unsigned_Types;
+
+function Opt97 (X, Y : Unsigned) return Unsigned is
+
+  pragma Suppress (All_Checks);
+
+  Z : Unsigned;
+
+begin
+  if X >= 2 then
+    return 0;
+  end if;
+
+  Z := Y;
+  if X = 1 then
+    Z := Y + 4;
+  end if;
+
+  return Z / X;
+end;
+
+-- { dg-final { scan-tree-dump "/" "optimized" } }