github
diff --git a/‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll‎
Lines changed: 1 addition & 1 deletion b/‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎cpp/ql/test/library-tests/dataflow/dataflow-tests/clang.cpp‎
Lines changed: 1 addition & 1 deletion b/‎cpp/ql/test/library-tests/dataflow/dataflow-tests/clang.cpp‎
Lines changed: 1 addition & 1 deletion
@@ -988,7 +988,7 @@ private predicate indirectExprNodeShouldBeIndirectOperand(RawIndirectOperand nod
       e = e0.getFullyConverted()
     )
     or
-    not indirectExprNodeShouldBeIndirectOperand0(_, _, e.getUnconverted()) and
+    not indirectExprNodeShouldBeIndirectOperand0(_, node, _) and
     e = instr.getConvertedResultExpression()
   )
 }
 
@@ -48,5 +48,5 @@ void following_pointers( // $ ast-def=sourceStruct1_ptr
 
   int stackArray[2] = { source(), source() };
   stackArray[0] = source();
-  sink(stackArray); // $ ast ir
+  sink(stackArray); // $ ast ir ir=49:35 ir=50:19
 }
Original file line number	Diff line number	Diff line change
`@@ -988,7 +988,7 @@ private predicate indirectExprNodeShouldBeIndirectOperand(RawIndirectOperand nod`
`988`	`988`	`e = e0.getFullyConverted()`
`989`	`989`	`)`
`990`	`990`	`or`
`991`		`- not indirectExprNodeShouldBeIndirectOperand0(_, _, e.getUnconverted()) and`
	`991`	`+ not indirectExprNodeShouldBeIndirectOperand0(_, node, _) and`
`992`	`992`	`e = instr.getConvertedResultExpression()`
`993`	`993`	`)`
`994`	`994`	`}`
Original file line number	Diff line number	Diff line change
`@@ -48,5 +48,5 @@ void following_pointers( // $ ast-def=sourceStruct1_ptr`
`48`	`48`
`49`	`49`	`int stackArray[2] = { source(), source() };`
`50`	`50`	`stackArray[0] = source();`
`51`		`- sink(stackArray); // $ ast ir`
	`51`	`+ sink(stackArray); // $ ast ir ir=49:35 ir=50:19`
`52`	`52`	`}`