C++: Add Function.hasAmbiguousReturnType.

geoffw0 · geoffw0 · commit 00d8a100515d · 2026-03-11T17:47:32.000Z
diff --git a/cpp/ql/lib/semmle/code/cpp/Function.qll b/cpp/ql/lib/semmle/code/cpp/Function.qll
@@ -524,6 +524,14 @@ class Function extends Declaration, ControlFlowNode, AccessHolder, @function {
       not exists(NewOrNewArrayExpr new | e = new.getAllocatorCall().getArgument(0))
     )
   }
+
+  /**
+   * Holds if this function has ambiguous return type (this occurs sometimes in
+   * Build Mode None).
+   */
+  predicate hasAmbiguousReturnType() {
+    count(this.getType()) != 1
+  }
 }
 
 pragma[noinline]

Original file line number	Diff line number	Diff line change
`@@ -524,6 +524,14 @@ class Function extends Declaration, ControlFlowNode, AccessHolder, @function {`
`524`	`524`	`not exists(NewOrNewArrayExpr new \| e = new.getAllocatorCall().getArgument(0))`
`525`	`525`	`)`
`526`	`526`	`}`
	`527`	`+`
	`528`	`+ /**`
	`529`	`+ * Holds if this function has ambiguous return type (this occurs sometimes in`
	`530`	`+ * Build Mode None).`
	`531`	`+ */`
	`532`	`+ predicate hasAmbiguousReturnType() {`
	`533`	`+ count(this.getType()) != 1`
	`534`	`+ }`
`527`	`535`	`}`
`528`	`536`
`529`	`537`	`pragma[noinline]`