You were right when you said that your testcase is ill-formed. The errors g++ is giving are correct, per 15.4p3. I suppose that, as an extension, if a derived function has a looser exception specification we could clobber it with the one from the base class and give a pedwarn. But that seems ugly to me. Jason