condition is redundant and should be removed

eternalsakura · eternalsakura · commit 006ce9dd68b8 · 2020-12-15T16:36:47.000+08:00
diff --git a/CodeQL_Queries/cpp/Chrome/callbacks.qll b/CodeQL_Queries/cpp/Chrome/callbacks.qll
@@ -104,7 +104,6 @@ predicate reach(Function f, Function g) {
       else
         overrides*(g, gc.getTarget())
       |
-      g = gc.getTarget() and
       gc.getEnclosingFunction() = f
     ) or
     exists(CallbackSinks sink | sink.getEnclosingCallable() = f and

Original file line number	Diff line number	Diff line change
`@@ -104,7 +104,6 @@ predicate reach(Function f, Function g) {`
`104`	`104`	`else`
`105`	`105`	`overrides*(g, gc.getTarget())`
`106`	`106`	`\|`
`107`		`- g = gc.getTarget() and`
`108`	`107`	`gc.getEnclosingFunction() = f`
`109`	`108`	`) or`
`110`	`109`	`exists(CallbackSinks sink \| sink.getEnclosingCallable() = f and`