mirror of
https://github.com/github/codeql.git
synced 2026-04-30 11:15:13 +02:00
Update cpp/ql/src/Likely Bugs/RedundantNullCheckSimple.ql
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
This commit is contained in:
committed by
GitHub
parent
f1a7b1a853
commit
b7bbdb76ba
@@ -145,7 +145,7 @@ module PathGraph {
|
||||
}
|
||||
|
||||
/**
|
||||
* Computes the reflextive transitive closure of `getASuccessorIfDifferentValueNumber`.
|
||||
* Computes the reflexive transitive closure of `getASuccessorIfDifferentValueNumber`.
|
||||
*/
|
||||
private Instruction getASuccessorIfDifferentValueNumberTC(ValueNumber vn, Instruction i) {
|
||||
revFlow(i, vn) and
|
||||
|
||||
Reference in New Issue
Block a user