python:

A wildcard case (`case _:`) should not be considered default
as the CFG library will then order it last.
Instead it is a `matchAll`

Author: yoff

python/ql/lib/semmle/python/controlflow/internal/AstNodeImpl.qll

@@ -993,10 +993,7 @@ module Ast implements AstSig<Py::Location> {
     }
   }
 
-  /** A wildcard case (`case _:`). */
-  class DefaultCase extends Case {
-    DefaultCase() { this.isWildcard() }
-  }
+  class DefaultCase extends Case { }
 
   /** A conditional expression (`x if cond else y`). */
   class ConditionalExpr extends Expr {
@@ -1753,6 +1750,9 @@ private module Input implements InputSig1, InputSig2 {
       n2.isAdditional(assertStmt, assertThrowTag())
     )
   }
+
+  /** A wildcard case (`case _:`) will match all values. */
+  predicate matchAll(Ast::Case c) { c.isWildcard() }
 }
 
 import Public