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 25253c7 commit e1598abCopy full SHA for e1598ab
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
@@ -178,7 +178,7 @@ private predicate isExplicitUse(Operand op) {
178
load.getAUse().getUse() instanceof InitializeIndirectionInstruction
179
) and
180
// Don't include this operand as a use if the only use of the address is for a write
181
- // that definately overrides a variable.
+ // that definitely overrides a variable.
182
not (explicitWrite(true, _, vai) and exists(unique( | | vai.getAUse())))
183
)
184
}
0 commit comments