remove isRelevant from flowStep

This commit is contained in:
Erik Krogh Kristensen
2020-03-24 21:07:49 +01:00
parent 6f0e507242
commit f2b9e2019c

View File

@@ -1153,7 +1153,6 @@ private predicate flowStep(
// Flow into higher-order call
flowIntoHigherOrderCall(pred, succ, cfg, summary)
) and
isRelevant(pred, cfg) and
not cfg.isBarrier(succ) and
not isBarrierEdge(cfg, pred, succ) and
not isLabeledBarrierEdge(cfg, pred, succ, summary.getEndLabel()) and