diff --git a/ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll b/ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll index f7f9b2a0393..ff7b9b2f0b1 100644 --- a/ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll +++ b/ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll @@ -809,7 +809,7 @@ private class ReadStoreNodeExt extends CastingNodeExt, TReadStoreNode { override predicate hasLocationInfo( string filepath, int startline, int startcolumn, int endline, int endcolumn ) { - arg.getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn) + arg.hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn) } } @@ -833,7 +833,7 @@ private class ReadTaintNode extends NodeExt, TReadTaintNode { override predicate hasLocationInfo( string filepath, int startline, int startcolumn, int endline, int endcolumn ) { - arg.getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn) + arg.hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn) } } @@ -857,7 +857,7 @@ private class TaintStoreNode extends NodeExt, TTaintStoreNode { override predicate hasLocationInfo( string filepath, int startline, int startcolumn, int endline, int endcolumn ) { - arg.getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn) + arg.hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn) } }