// { dg-additional-options -fmodule-header } | |
// { dg-module-cmi {} } | |
class bad_optional_access | |
{ | |
public: | |
virtual ~bad_optional_access() noexcept = default; // { dg-bogus "" } | |
}; | |
inline void | |
__throw_bad_optional_access() | |
{ | |
throw bad_optional_access (); | |
} | |