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

…ifferent locations
github · Oct 15, 2024 · 56efff9 · 56efff9
1 parent 50ec254
commit 56efff9
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
@@ -196,6 +196,12 @@ private predicate isInvalidFunction(Function func) {
     expr.getEnclosingFunction() = func and
     not exists(expr.getType())
   )
+  or
+  exists(Location l1, Location l2 |
+    l1 = func.getEntryPoint().getLocation() and l2 = func.getEntryPoint().getLocation()
+  |
+    l1 != l2
+  )
 }
 
 /**