Merge pull request #17694 from jketema/multiple-entry-point

C++: Do not generate IR for functions with multiple entry points

Author: jketema

cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll

@@ -196,6 +196,8 @@ private predicate isInvalidFunction(Function func) {
     expr.getEnclosingFunction() = func and
     not exists(expr.getType())
   )
+  or
+  count(func.getEntryPoint().getLocation()) > 1
 }
 
 /**

cpp/ql/test/library-tests/ir/multiple-entry-points/raw_ir.expected

@@ -0,0 +1,6 @@
+/**
+ * @kind graph
+ */
+
+private import cpp
+private import semmle.code.cpp.ir.implementation.raw.PrintIR

cpp/ql/test/library-tests/ir/multiple-entry-points/raw_ir.ql

@@ -0,0 +1,7 @@
+int foo(int i);
+
+int foo(int i) {
+  return 42;
+}
+
+int bar();

cpp/ql/test/library-tests/ir/multiple-entry-points/test1.cpp

@@ -0,0 +1,3 @@
+int foo(int i) {
+  return i;
+}