// Test that typeid sees through references even when optimizing.
// { dg-do run }
// { dg-options "-O2" }

#include <typeinfo>

struct A
{
  virtual ~A() { }
};

class B : public A { };

int main ()
{
  B b;
  A &aref = b;

  return typeid (aref) != typeid (b);
}