1// { dg-do compile } 2// { dg-options "-fgnu-tm -O" } 3 4class InputStream 5{ 6 public: 7// __attribute__((transaction_safe)) 8 virtual unsigned int readUint32 () = 0; 9}; 10 11class Building 12{ 13 public: 14 __attribute__((transaction_safe)) 15 Building (InputStream *stream); 16}; 17 18Building::Building (InputStream *stream) 19{ 20 stream->readUint32 (); /* { dg-error "InputStream::readUint32" } */ 21} 22