A syntax error in the annotations was found for the property in the function.
This warning indicates an error in the annotations, not in the code that is being analyzed.
IRQL_saves_global not applied to entire function
// FAIL
VOID test1(
_IRQL_saves_global_(OldIrql, *Irql) PKIRQL Irql)
{
// ...
;
}
Kernel_clear_do_init not used with either "yes" or "no"
// FAIL
_Function_class_(DRIVER_ADD_DEVICE)
_IRQL_requires_(PASSIVE_LEVEL)
_IRQL_requires_same_
_Kernel_clear_do_init_(IRP_MJ_CREATE)
NTSTATUS
test4(
_In_ PDRIVER_OBJECT DriverObject,
_In_ PDEVICE_OBJECT PhysicalDeviceObject)
{
; // do nothing
}