Macro WDFVERIFY

[S’applique uniquement à KMDF]

La macro WDFVERIFY teste une expression logique et, si l’expression prend la valeur FAUX, se décompose dans le débogueur du noyau.

Syntaxe

VOID WDFVERIFY(
    exp
);

Paramètres

exp
Expression logique que WDFVERIFY teste.

Valeur de retour

Aucun

Remarques

Le code de la macro WDFVERIFY est inclus dans le fichier binaire de votre pilote lorsque vous générez votre pilote dans une configuration de mise en production ou une configuration de débogage.

Le code WDFVERIFY se décompose en débogueur du noyau uniquement si la valeur VerifyOn est définie dans le Registre. Pour plus d’informations sur les entrées de Registre que vous pouvez utiliser pour déboguer votre pilote, consultez Entrées de Registre pour le débogage Framework-Based Pilotes.

Pour plus d’informations sur le débogage de votre pilote, consultez Débogage d’un pilote KMDF.

Exemples

L’exemple de code suivant se décompose dans le débogueur si une tentative de réutilisation d’un objet de requête échoue.

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

Spécifications

Voir aussi

VERIFY_IS_IRQL_PASSIVE_LEVEL