Fix performance issue in partial paths exploration.

cf https://github.com/Semmle/ql/pull/3021
This commit is contained in:
Max Schaefer
2020-03-09 16:13:07 +00:00
parent 1d4a993d87
commit d008d2a6a8

View File

@@ -2949,7 +2949,7 @@ private module FlowExploration {
config = mid.getConfiguration()
}
pragma[noinline]
pragma[nomagic]
private predicate partialPathOutOfCallable1(
PartialPathNodePriv mid, DataFlowCall call, ReturnKindExt kind, CallContext cc,
PartialAccessPath ap, Configuration config