mirror of
https://github.com/github/codeql.git
synced 2026-03-05 15:16:47 +01:00
Update rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll
Co-authored-by: Simon Friis Vindum <simonfv@gmail.com>
This commit is contained in:
@@ -139,7 +139,7 @@ private predicate isExhaustiveMatch(Pat pat) {
|
||||
// `match` expressions must be exhaustive, so last arm cannot fail
|
||||
pat = any(MatchExpr me).getLastArm().getPat()
|
||||
or
|
||||
// macro patterns is exhaustive if its expansion is
|
||||
// macro invocations are exhaustive if their expansion is
|
||||
pat = any(MacroPat mp | isExhaustiveMatch(mp.getMacroCall().getExpanded()))
|
||||
or
|
||||
// parameter patterns must be exhaustive
|
||||
|
||||
Reference in New Issue
Block a user