C/C++ overlay: Add overlay support for discarding namespaces

IdrissRio · IdrissRio · commit 3b93328089f4 · 2025-12-09T13:31:48.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/internal/Overlay.qll b/cpp/ql/lib/semmle/code/cpp/internal/Overlay.qll
@@ -26,6 +26,8 @@ private string getSingleLocationFilePath(@element e) {
     fun_decls(e, _, _, _, loc)
     or
     type_decls(e, _, loc)
+    or
+    namespace_decls(e, _, loc, _)
   |
     result = getLocationFilePath(loc)
   )
@@ -42,6 +44,8 @@ private string getMultiLocationFilePath(@element e) {
     exists(@fun_decl fd | fun_decls(fd, e, _, _, loc))
     or
     exists(@type_decl td | type_decls(td, e, loc))
+    or
+    exists(@namespace_decl nd | namespace_decls(nd, e, loc, _))
   |
     result = getLocationFilePath(loc)
   )

Original file line number	Diff line number	Diff line change
`@@ -26,6 +26,8 @@ private string getSingleLocationFilePath(@element e) {`
`26`	`26`	`fun_decls(e, _, _, _, loc)`
`27`	`27`	`or`
`28`	`28`	`type_decls(e, _, loc)`
	`29`	`+ or`
	`30`	`+ namespace_decls(e, _, loc, _)`
`29`	`31`	`\|`
`30`	`32`	`result = getLocationFilePath(loc)`
`31`	`33`	`)`
`@@ -42,6 +44,8 @@ private string getMultiLocationFilePath(@element e) {`
`42`	`44`	`exists(@fun_decl fd \| fun_decls(fd, e, _, _, loc))`
`43`	`45`	`or`
`44`	`46`	`exists(@type_decl td \| type_decls(td, e, loc))`
	`47`	`+ or`
	`48`	`+ exists(@namespace_decl nd \| namespace_decls(nd, e, loc, _))`
`45`	`49`	`\|`
`46`	`50`	`result = getLocationFilePath(loc)`
`47`	`51`	`)`