assertion.h

Go to the documentation of this file.

/*
 * Copyright (c) 2022 Geoff Simmons <geoff@simmons.de>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 * See LICENSE
 */
 
#include <string.h>
 
#include "pico/version.h"
 
#if PICO_SDK_VERSION_MAJOR < 2
#include "pico/platform.h"
#else
#include "pico.h"
#endif
 
#if defined (NDEBUG) && !defined(__DOXYGEN__)
#define PICOW_HTTP_ASSERT(c) ((void)(c))
#else
#define PICOW_HTTP_ASSERT(c) do {           \
    if (!(c))                   \
        panic("%s(): " #c " false",  __func__); \
    } while (0)
#endif
 
#define AZ(x)   do { PICOW_HTTP_ASSERT((x) == 0); } while (0)
 
#define AN(x)   do { PICOW_HTTP_ASSERT((x) != 0); } while (0)
 
/*
 * The following does not include ALLOC_OBJ and FREE_OBJ from Varnish
 * miniobj.h, because we may want to use LWIP custom memory pools.
 */
 
#define ZERO_OBJ(to, sz)                                                \
        do {                                                            \
                void *(*volatile z_obj)(void *, int, size_t) = memset;  \
                (void)z_obj(to, 0, sz);                                 \
        } while (0)
 
#define INIT_OBJ(to, type_magic)                                        \
        do {                                                            \
                ZERO_OBJ(to, sizeof *(to));                             \
                (to)->magic = (type_magic);                             \
        } while (0)
 
#define FINI_OBJ(to)                                                    \
        do {                                                            \
                ZERO_OBJ(&(to)->magic, sizeof (to)->magic);             \
                to = NULL;                                              \
        } while (0)
 
#define VALID_OBJ(ptr, type_magic)                                      \
        ((ptr) != NULL && (ptr)->magic == (type_magic))
 
#define CHECK_OBJ(ptr, type_magic)                                      \
        do {                                                            \
                PICOW_HTTP_ASSERT((ptr)->magic == type_magic);          \
        } while (0)
 
#define CHECK_OBJ_NOTNULL(ptr, type_magic)                              \
        do {                                                            \
                PICOW_HTTP_ASSERT((ptr) != NULL);                       \
                PICOW_HTTP_ASSERT((ptr)->magic == type_magic);          \
        } while (0)
 
#define CHECK_OBJ_ORNULL(ptr, type_magic)                               \
        do {                                                            \
                if ((ptr) != NULL)                                      \
                        PICOW_HTTP_ASSERT((ptr)->magic == type_magic);  \
        } while (0)
 
#define CAST_OBJ(to, from, type_magic)                                  \
        do {                                                            \
                (to) = (from);                                          \
                if ((to) != NULL)                                       \
                        CHECK_OBJ((to), (type_magic));                  \
        } while (0)
 
#define CAST_OBJ_NOTNULL(to, from, type_magic)                          \
        do {                                                            \
                (to) = (from);                                          \
                AN((to));                                               \
                CHECK_OBJ((to), (type_magic));                          \
        } while (0)