Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll

Co-authored-by: Jonas Jensen <jbj@github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2021-10-29 14:51:23 +01:00
parent cb4f10c609
commit f334201fce

View File

@@ -232,8 +232,6 @@ abstract class StoreNode extends Node {
/**
* Gets the `StoreNode` that computes the address used by this `StoreNode`.
* The boolean `readEffect` is `true` if the predecessor is accessed through the
* address of a `ReadSideEffectInstruction`.
*/
abstract StoreNode getAPredecessor();