Skip to content

Commit 1fce265

Browse files
committed
C++: Remove implied conjunct.
1 parent 67ed12c commit 1fce265

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -91,7 +91,6 @@ Node callOutput(CallInstruction call, FunctionOutput output, int d) {
9191
// The return value
9292
result = callOutputWithIndirectionIndex(call, output, indirectionIndex + d)
9393
or
94-
n = callOutputWithIndirectionIndex(call, output, indirectionIndex) and
9594
// If there isn't an indirect out node for the call with indirection `d` then
9695
// we conflate this with the underlying `CallInstruction`.
9796
not exists(getIndirectReturnOutNode(call, indirectionIndex + d)) and

0 commit comments

Comments
 (0)