C++: fix cartesian product in IRGuards.qll

Robert Marsh · Robert Marsh · commit dfb7076faeba · 2019-03-14T13:37:35.000-07:00
diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/IRGuards.qll b/cpp/ql/src/semmle/code/cpp/controlflow/IRGuards.qll
@@ -381,9 +381,7 @@ cached class IRGuardCondition extends Instruction {
 }
 
 private ConditionalBranchInstruction get_branch_for_condition(Instruction guard) {
-  exists(ConditionalBranchInstruction branch|
-    branch.getCondition() = guard
-  )
+  result.getCondition() = guard
   or
   exists(LogicalNotInstruction cond | result = get_branch_for_condition(cond) and cond.getUnary() = guard)
 }

Original file line number	Diff line number	Diff line change
`@@ -381,9 +381,7 @@ cached class IRGuardCondition extends Instruction {`
`381`	`381`	`}`
`382`	`382`
`383`	`383`	`private ConditionalBranchInstruction get_branch_for_condition(Instruction guard) {`
`384`		`- exists(ConditionalBranchInstruction branch\|`
`385`		`- branch.getCondition() = guard`
`386`		`- )`
	`384`	`+ result.getCondition() = guard`
`387`	`385`	`or`
`388`	`386`	`exists(LogicalNotInstruction cond \| result = get_branch_for_condition(cond) and cond.getUnary() = guard)`
`389`	`387`	`}`