We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b2b9380 commit bf3f751Copy full SHA for bf3f751
1 file changed
cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSA.qll
@@ -73,8 +73,6 @@ class MemoryLocation extends TMemoryLocation {
73
final predicate canReuseSsa() { canReuseSsaForVariable(var) }
74
}
75
76
-class MemoryLocation0 = MemoryLocation;
77
-
78
predicate canReuseSsaForOldResult(Instruction instr) { none() }
79
80
/**
0 commit comments