_Pre_notnull_ _Pre_writable_byte_size_()

in src/framework/shared/enhancedverif/um/vfwdfdynamics.cpp [3163:3172]

• 10 lines of code
• 1 McCabe index (conditional complexity)

    _Pre_notnull_ _Pre_writable_byte_size_(BufferSize)
    PVOID Buffer,
    _In_
    _When_(BufferSize == 0, __drv_reportError(BufferSize cannot be zero))
    size_t BufferSize
    )
{
    PAGED_CODE_LOCKED();
    return ((PFN_WDFMEMORYASSIGNBUFFER) WdfVersion.Functions.pfnWdfMemoryAssignBuffer)(DriverGlobals, Memory, Buffer, BufferSize);
}