Collaboration diagram for Null Safety:

Macros
#define	native_returns_nonnull
	[[returns_nonnnull]]
#define	native_nonnull(...)
	portable [[nonnnull(...)]]
#define	native_Nonnull
	_Nonnull
#define	native_Nullable
	_Nullable
#define	native_Null_unspecified
	_Null_unspecified

Detailed Description

Macro Definition Documentation

◆ native_Nonnull

#define native_Nonnull

_Nonnull

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

Definition at line 1192 of file attributes.h.

◆ native_nonnull

#define native_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.

Definition at line 1158 of file attributes.h.

◆ native_Null_unspecified

#define native_Null_unspecified

_Null_unspecified

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

Definition at line 1194 of file attributes.h.

◆ native_Nullable

#define native_Nullable

_Nullable

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

Definition at line 1193 of file attributes.h.

◆ native_returns_nonnull

#define native_returns_nonnull

[[returns_nonnnull]]

The result of this function are guaranteed be non-null

Definition at line 1142 of file attributes.h.