Merge pull request #13234 from jketema/std-inline

C++: Include inline namespaces in `StdNamespace`

Author: jketema

cpp/ql/lib/change-notes/2023-05-22-inline-in-std-namespace.md

@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* The `StdNamespace` class now also includes all inline namespaces that are children of `std` namespace.

cpp/ql/lib/semmle/code/cpp/Namespace.qll

@@ -230,8 +230,12 @@ class GlobalNamespace extends Namespace {
 }
 
 /**
- * The C++ `std::` namespace.
+ * The C++ `std::` namespace and its inline namespaces.
  */
 class StdNamespace extends Namespace {
-  StdNamespace() { this.hasName("std") and this.getParentNamespace() instanceof GlobalNamespace }
+  StdNamespace() {
+    this.hasName("std") and this.getParentNamespace() instanceof GlobalNamespace
+    or
+    this.isInline() and this.getParentNamespace() instanceof StdNamespace
+  }
 }