File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -632,20 +632,20 @@ predicate jumpStep(Node n1, Node n2) {
632632 v = globalUse .getVariable ( ) and
633633 n1 .( FinalGlobalValue ) .getGlobalUse ( ) = globalUse
634634 |
635- globalUse .getIndirectionIndex ( ) = 1 and
635+ globalUse .getIndirection ( ) = 1 and
636636 v = n2 .asVariable ( )
637637 or
638- v = n2 .asIndirectVariable ( globalUse .getIndirectionIndex ( ) )
638+ v = n2 .asIndirectVariable ( globalUse .getIndirection ( ) )
639639 )
640640 or
641641 exists ( Ssa:: GlobalDef globalDef |
642642 v = globalDef .getVariable ( ) and
643643 n2 .( InitialGlobalValue ) .getGlobalDef ( ) = globalDef
644644 |
645- globalDef .getIndirectionIndex ( ) = 1 and
645+ globalDef .getIndirection ( ) = 1 and
646646 v = n1 .asVariable ( )
647647 or
648- v = n1 .asIndirectVariable ( globalDef .getIndirectionIndex ( ) )
648+ v = n1 .asIndirectVariable ( globalDef .getIndirection ( ) )
649649 )
650650 )
651651}
You can’t perform that action at this time.
0 commit comments