C/C++ overlay: Add overlay support for discarding user types

IdrissRio · IdrissRio · commit 2103c1b2272d · 2025-12-11T10:02:32.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
@@ -24,6 +24,8 @@ private string getSingleLocationFilePath(@element e) {
     var_decls(e, _, _, _, loc)
     or
     fun_decls(e, _, _, _, loc)
+    or
+    type_decls(e, _, loc)
   |
     result = getLocationFilePath(loc)
   )
@@ -38,6 +40,8 @@ private string getMultiLocationFilePath(@element e) {
     exists(@var_decl vd | var_decls(vd, e, _, _, loc))
     or
     exists(@fun_decl fd | fun_decls(fd, e, _, _, loc))
+    or
+    exists(@type_decl td | type_decls(td, e, loc))
   |
     result = getLocationFilePath(loc)
   )

Original file line number	Diff line number	Diff line change
`@@ -24,6 +24,8 @@ private string getSingleLocationFilePath(@element e) {`
`24`	`24`	`var_decls(e, _, _, _, loc)`
`25`	`25`	`or`
`26`	`26`	`fun_decls(e, _, _, _, loc)`
	`27`	`+ or`
	`28`	`+ type_decls(e, _, loc)`
`27`	`29`	`\|`
`28`	`30`	`result = getLocationFilePath(loc)`
`29`	`31`	`)`
`@@ -38,6 +40,8 @@ private string getMultiLocationFilePath(@element e) {`
`38`	`40`	`exists(@var_decl vd \| var_decls(vd, e, _, _, loc))`
`39`	`41`	`or`
`40`	`42`	`exists(@fun_decl fd \| fun_decls(fd, e, _, _, loc))`
	`43`	`+ or`
	`44`	`+ exists(@type_decl td \| type_decls(td, e, loc))`
`41`	`45`	`\|`
`42`	`46`	`result = getLocationFilePath(loc)`
`43`	`47`	`)`