Skip to content

Commit d0aa307

Browse files
committed
Ruby: CFG: fix multiple successors failure for default parameters
1 parent b887165 commit d0aa307

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

ruby/ql/lib/codeql/ruby/controlflow/internal/ControlFlowGraphImpl.qll

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -923,7 +923,8 @@ module Trees {
923923
c instanceof SimpleCompletion
924924
or
925925
this.hasDefaultValue() and
926-
c.(MatchingCompletion).getValue() = true
926+
c.(MatchingCompletion).getValue() = true and
927+
c.isValidFor(this)
927928
)
928929
}
929930

0 commit comments

Comments
 (0)