codeql/cpp/ql/lib/semmle/code/cpp/models/implementations/StructuredExceptionHandling.qll

import semmle.code.cpp.models.interfaces.Throwing

class WindowsDriverFunction extends ThrowingFunction {
  WindowsDriverFunction() {
    this.hasGlobalName(["RaiseException", "ExRaiseAccessViolation", "ExRaiseDatatypeMisalignment"])
  }

  final override predicate mayThrowException(boolean unconditional) { unconditional = true }
}