message: Remove error checks on unknown types and commands for disabled extensions.
diff: @@ -709,7 +709,7 @@ void warn( bool condition, int line, std::string const & message )
  {
  if ( !condition )
  {
  - std::cerr << "Spec warning on line " << std::to_string( line ) << " " << message << "!" << std::endl;
  + std::cerr << "Spec warning on line " << std::to_string( line ) << ": " << message << "!" << std::endl;
  }
  }
  @@ -8054,7 +8054,8 @@ void VulkanHppGenerator::readExtensionDisabledCommand( tinyxml2::XMLElement cons
  // first unlink the command from its class
  auto commandIt = m_commands.find( name );
  - check( commandIt != m_commands.end(), line, "try to remove unknown command <" + name + ">" );
  + if ( commandIt != m_commands.end() )
  + {
  auto handleIt = m_handles.find( commandIt->second.handle );
  check( handleIt != m_handles.end(), line, "cannot find handle corresponding to command <" + name + ">" );
  handleIt->second.commands.erase( commandIt->first );
  @@ -8062,6 +8063,7 @@ void VulkanHppGenerator::readExtensionDisabledCommand( tinyxml2::XMLElement cons
  // then erase the command from the command list
  m_commands.erase( commandIt );
  }
  +}
  void VulkanHppGenerator::readExtensionDisabledEnum( std::string const & extensionName,
  tinyxml2::XMLElement const * element )
  @@ -8144,8 +8146,8 @@ void VulkanHppGenerator::readExtensionDisabledType( tinyxml2::XMLElement const *
  std::string name = attributes.find( "name" )->second;
  auto typeIt = m_types.find( name );
  - check( typeIt != m_types.end(), line, "trying to remove unknown type <" + name + ">" );
  -
  + if ( typeIt != m_types.end() )
  + {
  switch ( typeIt->second.category )
  {
  case TypeCategory::Bitmask:
  @@ -8186,6 +8188,7 @@ void VulkanHppGenerator::readExtensionDisabledType( tinyxml2::XMLElement const *
  break;
  }
  }
  +}
  void VulkanHppGenerator::readExtensionRequire( tinyxml2::XMLElement const * element,
  std::string const & extension,
  