Merge branch 'main' into brodes/seh_flow_phase1_throwing_models

This commit is contained in:
Ben Rodes
2024-11-19 10:46:17 -05:00
committed by GitHub
499 changed files with 9478 additions and 3146 deletions

View File

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