Use [[maybe_unused] instead of DUNE_UNUSED / DUNE_UNUSED_PARAMETER (!158) · Merge requests · Core Modules / dune-geometry · GitLab

Snippets Groups Projects

Merged Christoph Grüninger requested to merge feature/maybe_unused-replace-DUNE_UNUSED into master 4 years ago

Mar 31, 2021
- Use [[maybe_unused] instead of DUNE_UNUSED / DUNE_UNUSED_PARAMETER · ac5b0bc8
  Christoph Grüninger authored 4 years ago
  
  Except for one occurence of DUNE_UNUSED_PARAMETER in type.hh due to GCC bug 81429 which got fixed in GCC 9.3
  ac5b0bc8