WDFVERIFY マクロ

The WDFVERIFY macro tests a logical expression and, if the expression evaluates to FALSE, breaks into the kernel debugger.

構文

VOID WDFVERIFY(
     exp
);

パラメーター

• exp
  A logical expression that WDFVERIFY tests.

戻り値

None

解説

The code for the WDFVERIFY macro is included in your driver's binary when you build your driver in a free build environment or a checked build environment. If your driver's binary includes WDFVERIFY code, the code will run when your driver runs with checked builds or free builds of the Microsoft Windows operating system.

The WDFVERIFY code breaks into a kernel debugger only if the VerifyOn value is set in the registry. For more information about registry entries that you can use to debug your driver, see Registry Entries for Debugging Framework-Based Drivers.

For more information about debugging your driver, see Debugging a Framework-Based Driver.

例

The following code example breaks into the debugger if an attempt to reuse a request object fails.

  status = WdfRequestReuse(Request, &params);
WDFVERIFY(NT_SUCCESS(status));

要件

参照

VERIFY_IS_IRQL_PASSIVE_LEVEL