ZT_NOT_NULL3

Usage

#define ZT_NOT_NULL(value) \
  zt_not_null( \
    ZT_CURRENT_LOCATION(), \
    zt_pack_pointer((value), #value))

Overview

zt_not_null() constructs a claim that a given pointer is not NULL. It should be used through the macro ZT_NOT_NULL(), which passes source code location and packs argument.

ZT_NOT_NULL() can be useful, when coupled with zt_assert(), to ensure that an object was correctly produced, allocated or returned and that the reminder of the test can inspect its properties using zt_check().

Implementation notes

ZT_NOT_NULL() evaluates value only once.

Return values

Both the macro and the function return a zt_claim structure with the appropriate attributes set. The returned claim is usually passed to zt_check() or to zt_assert().