From c9ba6dd6724064e705dd8a367423c5c7d5eab03f Mon Sep 17 00:00:00 2001 From: Max Schaefer Date: Thu, 26 Mar 2020 08:01:47 +0000 Subject: [PATCH] Fix up `hasLocationInfo` predicate. --- ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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) } }