C++: Add overlay support for discarding macro invocations

IdrissRio · IdrissRio · commit 607b0a1e201e · 2025-12-09T13:25:40.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
@@ -54,6 +54,9 @@ private string getMultiLocationFilePath(@element e) {
     or
     // @namespace gets its location(s) from its @namespace_decl(s)
     exists(@namespace_decl nd | namespace_decls(nd, e, loc, _))
+    or
+    // @macroinvocation gets its location(s) from macrolocationbind
+    macrolocationbind(e, loc)
   |
     result = getLocationFilePath(loc)
   )

Original file line number	Diff line number	Diff line change
`@@ -54,6 +54,9 @@ private string getMultiLocationFilePath(@element e) {`
`54`	`54`	`or`
`55`	`55`	`// @namespace gets its location(s) from its @namespace_decl(s)`
`56`	`56`	`exists(@namespace_decl nd \| namespace_decls(nd, e, loc, _))`
	`57`	`+ or`
	`58`	`+ // @macroinvocation gets its location(s) from macrolocationbind`
	`59`	`+ macrolocationbind(e, loc)`
`57`	`60`	`\|`
`58`	`61`	`result = getLocationFilePath(loc)`
`59`	`62`	`)`