From: Eric Botcazou <ebotcazou@adacore.com>
Date: Mon, 31 Jan 2022 08:14:41 +0000 (+0100)
Subject: Add testcase for incorrect optimization in Ada
X-Git-Tag: basepoints/gcc-13~1376
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=825e5599f356608c3c48f9bcc3febec2d879261e;p=thirdparty%2Fgcc.git

Add testcase for incorrect optimization in Ada

gcc/testsuite/
	* gnat.dg/div_zero.adb: New test.
---

diff --git a/gcc/testsuite/gnat.dg/div_zero.adb b/gcc/testsuite/gnat.dg/div_zero.adb
new file mode 100644
index 000000000000..c7237bd6ab67
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/div_zero.adb
@@ -0,0 +1,23 @@
+-- { dg-do run }
+
+-- This test requires architecture- and OS-specific support code for unwinding
+-- through signal frames (typically located in *-unwind.h) to pass.  Feel free
+-- to disable it if this code hasn't been implemented yet.
+
+procedure Div_Zero is
+
+  pragma Suppress (All_Checks);
+
+  function Zero return Integer is
+  begin
+    return 0;
+  end;
+
+  D : Integer := Zero;
+
+begin
+  D := 1 / D;
+  raise Program_Error;
+exception
+  when Constraint_Error => null;
+end;