exclusion filters also apply to members

#feat

Author: alandefreitas

docs/modules/ROOT/pages/config-file.adoc

@@ -200,7 +200,7 @@ The rules for whitelisting symbols (`include-symbols`, `implementation-defined`,
 4. The symbol is a child of a literal pattern representing a namespace.
 ** For instance, the literal pattern `std` matches `std::filesystem::path::iterator` because `std` is a literal pattern matching a namespace. In other words, these literal patterns represent the namespace and its subnamespaces as if the pattern were `std::**`.
 
-For exclusion rules, the symbol must strictly match the pattern to be excluded.
+For exclusion rules, the symbol must strictly match the pattern to be excluded. If a scope is escaped by a pattern, all symbols in that scope are also excluded.
 
 [#config-options-reference]
 == Reference

src/lib/AST/ASTVisitor.cpp

@@ -2821,12 +2821,29 @@ checkSymbolFilters(Decl const* D, bool const AllowParent)
 
     // We should check the exclusion filters first. If a symbol is
     // explicitly excluded, there's nothing else to check.
-    if (!config_->excludeSymbols.empty() &&
-        checkSymbolFiltersImpl<Strict>(config_->excludeSymbols, symbolName))
+    if (!config_->excludeSymbols.empty())
     {
-        ExtractionInfo const res{ExtractionMode::Dependency, ExtractionMatchType::Strict};
-        updateCache(res);
-        return res;
+        if (checkSymbolFiltersImpl<Strict>(config_->excludeSymbols, symbolName))
+        {
+            ExtractionInfo const res{ExtractionMode::Dependency, ExtractionMatchType::Strict};
+            updateCache(res);
+            return res;
+        }
+        // If the parent scope is excluded, the symbol should also be excluded
+        // since it would not be possible to refer to this member.
+        if (AllowParent)
+        {
+            if (Decl const* P = getParent(D))
+            {
+                if (auto const [mode, kind] = checkSymbolFilters(P);
+                    mode == ExtractionMode::Dependency)
+                {
+                    ExtractionInfo const res = {mode, ExtractionMatchType::StrictParent};
+                    updateCache(res);
+                    return res;
+                }
+            }
+        }
     }
 
     // If not excluded, we should check the filters in this order:
@@ -2923,7 +2940,7 @@ checkSymbolFilters(Decl const* D, bool const AllowParent)
                 // prefixes that can potentially include children, but
                 // we have to check if any children actually matches
                 // the pattern strictly.
-                DeclContext const* DC = cast<DeclContext>(D);
+                auto const* DC = cast<DeclContext>(D);
                 auto childrenMode = ExtractionMode::Dependency;
                 for (auto* M : DC->decls())
                 {