@@ -1327,7 +1327,7 @@ module MakeImpl<InputSig Lang> {
1327
1327
)
1328
1328
or
1329
1329
// flow out of a callable
1330
- fwdFlowOut ( node , state , cc , summaryCtx , argT , argAp , t , ap , apa )
1330
+ fwdFlowOut ( _ , _ , node , state , cc , summaryCtx , argT , argAp , t , ap , apa )
1331
1331
or
1332
1332
// flow through a callable
1333
1333
exists (
@@ -1633,14 +1633,6 @@ module MakeImpl<InputSig Lang> {
1633
1633
)
1634
1634
}
1635
1635
1636
- pragma [ nomagic]
1637
- private predicate fwdFlowOut (
1638
- NodeEx out , FlowState state , CcNoCall outercc , ParamNodeOption summaryCtx , TypOption argT ,
1639
- ApOption argAp , Typ t , Ap ap , ApApprox apa
1640
- ) {
1641
- fwdFlowOut ( _, _, out , state , outercc , summaryCtx , argT , argAp , t , ap , apa )
1642
- }
1643
-
1644
1636
private module FwdTypeFlowInput implements TypeFlowInput {
1645
1637
predicate enableTypeFlow = Param:: enableTypeFlow / 0 ;
1646
1638
@@ -1654,7 +1646,7 @@ module MakeImpl<InputSig Lang> {
1654
1646
1655
1647
pragma [ nomagic]
1656
1648
private predicate dataFlowTakenCallEdgeIn0 (
1657
- DataFlowCall call , DataFlowCallable c , ParamNodeEx p , FlowState state , Cc innercc ,
1649
+ DataFlowCall call , DataFlowCallable c , ParamNodeEx p , FlowState state , CcCall innercc ,
1658
1650
Typ t , Ap ap , boolean cc
1659
1651
) {
1660
1652
FwdFlowIn< FwdFlowInNoRestriction > :: fwdFlowIn ( call , c , p , state , _, innercc , _, _, _, t ,
0 commit comments