--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/g++.dg/pr84933.C	Thu Oct 25 07:37:49 2018 +0900
@@ -0,0 +1,23 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -fstrict-enums -fno-inline" } */
+
+enum a {};
+int *d;
+int b, e, f;
+a c, g;
+class h {
+    virtual unsigned i();
+};
+class j : h {
+    unsigned i() {
+	for (;;) {
+	    b = c <= 0;
+	    if (b)
+	      e = *d;
+	    b = g && c;
+	    if (b)
+	      f = *d;
+	}
+    }
+};
+void k() { new j; }