Define PNTOS_ASSUME_NONNULL_BEGIN

• Defined in File annotations.h

Define Documentation

PNTOS_ASSUME_NONNULL_BEGIN

Define a set of pragmas and attributes to instrument code to define whether or not pointers may be null. This feature attempts to gracefully disable itself if the current compiler is unable to support static analysis of nullability. However, if this automatic disabling fails, the user may define PNTOS_DISABLE_NULLABILITY to force nullability checks off. In this case, the burden is still on the user to not set NULL to pointers defined as not NULL. This macro does nothing. To enable compiler non-null checking, compile using a compiler that has the “nullability” feature and do not define PNTOS_DISABLE_NULLABILITY.