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

IdrissRio · IdrissRio · commit 0ff7e0b2023c · 2025-12-11T10:02:34.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
@@ -28,6 +28,10 @@ private string getSingleLocationFilePath(@element e) {
     type_decls(e, _, loc)
     or
     namespace_decls(e, _, loc, _)
+    or
+    macroinvocations(e, _, loc, _)
+    or
+    preprocdirects(e, _, loc)
   |
     result = getLocationFilePath(loc)
   )

Original file line number	Diff line number	Diff line change
`@@ -28,6 +28,10 @@ private string getSingleLocationFilePath(@element e) {`
`28`	`28`	`type_decls(e, _, loc)`
`29`	`29`	`or`
`30`	`30`	`namespace_decls(e, _, loc, _)`
	`31`	`+ or`
	`32`	`+ macroinvocations(e, _, loc, _)`
	`33`	`+ or`
	`34`	`+ preprocdirects(e, _, loc)`
`31`	`35`	`\|`
`32`	`36`	`result = getLocationFilePath(loc)`
`33`	`37`	`)`