File tree Expand file tree Collapse file tree 1 file changed +11
-4
lines changed Expand file tree Collapse file tree 1 file changed +11
-4
lines changed Original file line number Diff line number Diff line change @@ -606,11 +606,18 @@ module API {
606
606
result = useCandRev ( ) and
607
607
t .start ( )
608
608
or
609
- exists ( TypeTracker t2 , DataFlow:: LocalSourceNode mid , TypeBackTracker tb |
609
+ exists ( TypeTracker t2 , DataFlow:: LocalSourceNode mid |
610
610
mid = trackUseNode ( src , t2 ) and
611
- result = mid .track ( t2 , t ) and
612
- pragma [ only_bind_out ] ( result ) = useCandRev ( tb ) and
613
- pragma [ only_bind_out ] ( t ) = pragma [ only_bind_out ] ( tb ) .getACompatibleTypeTracker ( )
611
+ result = useNodeStep ( mid , t2 , t )
612
+ )
613
+ }
614
+
615
+ pragma [ nomagic]
616
+ private DataFlow:: Node useNodeStep ( DataFlow:: LocalSourceNode mid , TypeTracker tmid , TypeTracker t ) {
617
+ exists ( TypeBackTracker tb |
618
+ result = mid .track ( tmid , t ) and
619
+ pragma [ only_bind_into ] ( result ) = useCandRev ( pragma [ only_bind_into ] ( tb ) ) and
620
+ pragma [ only_bind_out ] ( t ) = tb .getACompatibleTypeTracker ( )
614
621
)
615
622
}
616
623
You can’t perform that action at this time.
0 commit comments