From 825e5599f356608c3c48f9bcc3febec2d879261e Mon Sep 17 00:00:00 2001
From: Eric Botcazou <ebotcazou@adacore.com>
Date: Mon, 31 Jan 2022 09:14:41 +0100
Subject: [PATCH] Add testcase for incorrect optimization in Ada

gcc/testsuite/
	* gnat.dg/div_zero.adb: New test.
---
 gcc/testsuite/gnat.dg/div_zero.adb | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 gcc/testsuite/gnat.dg/div_zero.adb

diff --git a/gcc/testsuite/gnat.dg/div_zero.adb b/gcc/testsuite/gnat.dg/div_zero.adb
new file mode 100644
index 0000000..c7237bd
--- /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;
-- 
2.7.4