CPP: Add noinline so size estimates are better.

alexet · alexet · commit 56ce6f5bc935 · 2025-05-02T16:48:18.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/Declaration.qll b/cpp/ql/lib/semmle/code/cpp/Declaration.qll
@@ -88,6 +88,7 @@ class Declaration extends Locatable, @declaration {
    *
    * See the 3-argument `hasQualifiedName` for examples.
    */
+  pragma[noinline]
   predicate hasQualifiedName(string namespaceQualifier, string baseName) {
     this.hasQualifiedName(namespaceQualifier, "", baseName)
   }

Original file line number	Diff line number	Diff line change
`@@ -88,6 +88,7 @@ class Declaration extends Locatable, @declaration {`
`88`	`88`	`*`
`89`	`89`	* See the 3-argument `hasQualifiedName` for examples.
`90`	`90`	`*/`
	`91`	`+ pragma[noinline]`
`91`	`92`	`predicate hasQualifiedName(string namespaceQualifier, string baseName) {`
`92`	`93`	`this.hasQualifiedName(namespaceQualifier, "", baseName)`
`93`	`94`	`}`