1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr46171.c b/gcc/testsuite/gcc.dg/pr46171.c
new file mode 100644
index 000000000..f43cab025
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr46171.c
@@ -0,0 +1,13 @@
+/* PR debug/46171 */
+/* { dg-do compile } */
+/* { dg-options "-O -fno-tree-dce -g" } */
+
+double bard ();
+float barf (float);
+
+void
+foo (float f)
+{
+  f = barf (f);
+  double d = bard ();
+}