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

Minimum KMDF version

1.0

Header

Wdfassert.h (include Wdf.h)

See also

VERIFY_IS_IRQL_PASSIVE_LEVEL

 

 

Send comments about this topic to Microsoft

Show:
© 2014 Microsoft