WDFVERIFY macro

[Applies to KMDF only]

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

Syntax

VOID WDFVERIFY(
    exp
);

Parameters

exp
A logical expression that WDFVERIFY tests.

Return value

None

Remarks

The code for the WDFVERIFY macro is included in your driver's binary when you build your driver in a release configuration or a debug configuration.

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 KMDF Driver.

Examples

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));

Requirements

See also

VERIFY_IS_IRQL_PASSIVE_LEVEL