// { dg-do compile }
// { dg-options "-fgnu-tm -O" }

class InputStream
{
        public:
//        __attribute__((transaction_safe))
        virtual unsigned int readUint32 () = 0;
};

class Building
{
        public:
        __attribute__((transaction_safe))
        Building (InputStream *stream);
};

Building::Building (InputStream *stream)
{
        stream->readUint32 (); /* { dg-error "InputStream::readUint32" } */
}