C/C++ overlay: Add overlay support for discarding macro invocations

IdrissRio · IdrissRio · commit fcd7ea4201b6 · 2025-12-09T13:31:59.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
@@ -46,6 +46,8 @@ private string getMultiLocationFilePath(@element e) {
     exists(@type_decl td | type_decls(td, e, loc))
     or
     exists(@namespace_decl nd | namespace_decls(nd, e, loc, _))
+    or
+    macrolocationbind(e, loc)
   |
     result = getLocationFilePath(loc)
   )

Original file line number	Diff line number	Diff line change
`@@ -46,6 +46,8 @@ private string getMultiLocationFilePath(@element e) {`
`46`	`46`	`exists(@type_decl td \| type_decls(td, e, loc))`
`47`	`47`	`or`
`48`	`48`	`exists(@namespace_decl nd \| namespace_decls(nd, e, loc, _))`
	`49`	`+ or`
	`50`	`+ macrolocationbind(e, loc)`
`49`	`51`	`\|`
`50`	`52`	`result = getLocationFilePath(loc)`
`51`	`53`	`)`