From 77ca8d3929142288e142a7cdc54538766de5e83b Mon Sep 17 00:00:00 2001
From: No Author <no-author@gcc.gnu.org>
Date: Sun, 11 Jan 2004 19:13:12 +0000
Subject: [PATCH] This commit was manufactured by cvs2svn to create branch
 'gcc-3_3-branch'.

From-SVN: r75686
---
 gcc/testsuite/g++.dg/opt/expect2.C  | 11 +++++++++++
 gcc/testsuite/g++.dg/rtti/typeid4.C | 26 ++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/opt/expect2.C
 create mode 100644 gcc/testsuite/g++.dg/rtti/typeid4.C

diff --git a/gcc/testsuite/g++.dg/opt/expect2.C b/gcc/testsuite/g++.dg/opt/expect2.C
new file mode 100644
index 000000000000..1bb5d8331f08
--- /dev/null
+++ b/gcc/testsuite/g++.dg/opt/expect2.C
@@ -0,0 +1,11 @@
+// PR c++/13392
+// { dg-do compile }
+// { dg-options "-O0" }
+
+extern "C" void abort (void);
+struct X { ~X () throw() {} };
+bool foo (X s = X ()) { return false; }
+void bar ()
+{
+  __builtin_expect (foo () && true, 1) ? 0 : (abort (), 0);
+}
diff --git a/gcc/testsuite/g++.dg/rtti/typeid4.C b/gcc/testsuite/g++.dg/rtti/typeid4.C
new file mode 100644
index 000000000000..e6a1dce16f0e
--- /dev/null
+++ b/gcc/testsuite/g++.dg/rtti/typeid4.C
@@ -0,0 +1,26 @@
+// { dg-do run }
+// { dg-options "-O2" }
+
+#include <typeinfo>
+#include <iostream>
+
+struct A { virtual ~A () {} };
+
+struct APtr
+{ 
+  APtr (A* p)  : p_ (p) { }
+  A& operator* () const { return *p_; }
+  A* p_;
+};
+
+int main ()
+{ 
+  APtr ap (new A);
+  std::type_info const* const exp = &typeid (*ap);
+  for (bool cont = true; cont; cont = false)
+    { 
+      std::cout << "inner: cont " << cont << std::endl;
+      if (exp) ;
+    }
+}
+
-- 
2.47.2