Macros
#define	hint_returns_nonnull
	`[[returns_nonnnull]]`

#define	hint_nonnull(...)
	portable `[[nonnnull(...)]]`

#define	hint_Nonnull
	`_Nonnull`

#define	hint_Nullable
	`_Nullable`

#define	hint_Null_unspecified
	`_Null_unspecified`

Detailed Description

Macro Definition Documentation

◆ hint_nonnull

#define hint_nonnull ( ... )

portable [[nonnnull(...)]]

Indicates the selected (1-based) indexed arguments to this function must be non-null. Passing a null pointer to such an argument is undefined behavior. GCC-style.

◆ hint_Nonnull

#define hint_Nonnull

_Nonnull

can be applied to each * in an data type to indicate that argument should never be null.

◆ hint_Null_unspecified

#define hint_Null_unspecified

_Null_unspecified

applied to each * in an data type to indicate that the nullability of it is unknown or complicated

◆ hint_Nullable

#define hint_Nullable

_Nullable

can be applied to each * in an data type to indicate that argument might be null.

◆ hint_returns_nonnull

#define hint_returns_nonnull

[[returns_nonnnull]]

The result of this function are guaranteed be non-null