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 4a47e11 commit 322fa36Copy full SHA for 322fa36
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
@@ -1114,9 +1114,6 @@ abstract class Def extends SsaDef, TDef {
1114
* Gets the indirection level that this definition is writing to.
1115
* For instance, `x = y` is a definition of `x` at indirection level 1 and
1116
* `*x = y` is a definition of `x` at indirection level 2.
1117
- *
1118
- * This predicate ensures that joins go from `defOrUse` to the result
1119
- * instead of the other way around.
1120
*/
1121
abstract int getIndirection();
1122
0 commit comments