We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent cb4f10c commit f334201Copy full SHA for f334201
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
@@ -232,8 +232,6 @@ abstract class StoreNode extends Node {
232
233
/**
234
* Gets the `StoreNode` that computes the address used by this `StoreNode`.
235
- * The boolean `readEffect` is `true` if the predecessor is accessed through the
236
- * address of a `ReadSideEffectInstruction`.
237
*/
238
abstract StoreNode getAPredecessor();
239
0 commit comments