Driver Verifier

include/drivers/verifier.h View source View on GitHub

Macros

dv_size_full

#define dv_size_full(type, bytes, ...)

source

Comptime verification that structures matches spec

Each macro here is a big wrapper around a static_assert, so nothing here emits any code. TODO: introduce eventual spec name and section definition support.

These are used in layout.c of various subsystems, so as to not pollute a header and avoid emitting one warning many times.

NOTE

these macros CAN’T do a few things:

• bitfields
• reference spec
• give full names to members

Expansion

#define dv_size_full(type, bytes, ...) \
    static_assert(sizeof(type) == (bytes), \
                  PP_STRINGIZE(type) " is not " #bytes " bytes")

dv_align_full

#define dv_align_full(type, bytes, ...)

source

Expansion

#define dv_align_full(type, bytes, ...) \
    static_assert(cc_alignof(type) == (bytes), \
                  PP_STRINGIZE(type) " is not " #bytes "-byte aligned")

dv_field_full

#define dv_field_full(type, member_type, member, offset, ...)

source

Expansion

#define dv_field_full(type, member_type, member, offset, ...) \
    static_assert( \
        ci_offsetof(type, member) == (offset) && \
            ci_types_compatible_p(typeof(((type *) 0)->member), member_type), \
        PP_STRINGIZE(type) "." #member " is not " #member_type " at " #offset)

dv_field_at_full

#define dv_field_at_full(type, member, offset, ...)

source

Expansion

#define dv_field_at_full(type, member, offset, ...) \
    static_assert(ci_offsetof(type, member) == (offset), \
                  PP_STRINGIZE(type) "." #member " is not at " #offset)

dv_size

#define dv_size(...)

source

Expansion

#define dv_size(...) dv_size_full(struct DV_STRUCT, __VA_ARGS__)

dv_align

#define dv_align(...)

source

Expansion

#define dv_align(...) dv_align_full(struct DV_STRUCT, __VA_ARGS__)

dv_field

#define dv_field(...)

source

Expansion

#define dv_field(...) dv_field_full(struct DV_STRUCT, __VA_ARGS__)

dv_field_at

#define dv_field_at(...)

source

Expansion

#define dv_field_at(...) dv_field_at_full(struct DV_STRUCT, __VA_ARGS__)