1 files changed, 13 insertions, 0 deletions
diff --git a/SingleSource/Regression/C/gcc-c-torture/execute/pr56250.c b/SingleSource/Regression/C/gcc-c-torture/execute/pr56250.c
new file mode 100644
index 00000000..8da36f83
--- /dev/null
+++ b/SingleSource/Regression/C/gcc-c-torture/execute/pr56250.c
@@ -0,0 +1,13 @@
+/* PR tree-optimization/56250 */
+
+extern void abort (void);
+
+int
+main ()
+{
+  unsigned int x = 2;
+  unsigned int y = (0U - x / 2) / 2;
+  if (-1U / x != y)
+    abort ();
+  return 0;
+}