File tree Expand file tree Collapse file tree 1 file changed +13
-4
lines changed Expand file tree Collapse file tree 1 file changed +13
-4
lines changed Original file line number Diff line number Diff line change @@ -606,11 +606,20 @@ module API {
606606 result = useCandRev ( ) and
607607 t .start ( )
608608 or
609- exists ( TypeTracker t2 , DataFlow:: LocalSourceNode mid , TypeBackTracker tb |
609+ exists ( TypeTracker t2 , DataFlow:: LocalSourceNode mid |
610610 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 (
617+ DataFlow:: LocalSourceNode mid , TypeTracker tmid , TypeTracker t
618+ ) {
619+ exists ( TypeBackTracker tb |
620+ result = mid .track ( tmid , t ) and
621+ pragma [ only_bind_into ] ( result ) = useCandRev ( pragma [ only_bind_into ] ( tb ) ) and
622+ pragma [ only_bind_out ] ( t ) = pragma [ only_bind_into ] ( tb ) .getACompatibleTypeTracker ( )
614623 )
615624 }
616625
You can’t perform that action at this time.
0 commit comments