/*
 * Copyright (c) 2017-2025, Patrick Pelissier
 * All rights reserved.
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 * + Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 * + Redistributions in binary form must reproduce the above copyright
 *   notice, this list of conditions and the following disclaimer in the
 *   documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND ANY
 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
 * DISCLAIMED. IN NO EVENT SHALL THE REGENTS AND CONTRIBUTORS BE LIABLE FOR ANY
 * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
 * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/

#include <stdlib.h>

/* Coverage helper header.
   Computing coverage for a generic macro expansing library is not trivial
   as there is no tool to do it normally.

   That's why a special way has been designed:
   *) Put the code to coverage within the macros START_COVERAGE & END_COVERAGE
   (without forgetting to include the header coverage.h before)
   #include "coverage.h"
   START_COVERAGE
   [code to be expanded & to be coveraged]
   END_COVERAGE

   Run the coverage in the makefile like this:
   *) make coverage-test/test-marray.c
   
   View the coverage file test-marray.c.gcov
   It'll contain the macro expanded & annotated.
*/
   
#if defined(WITHIN_COVERAGE) || defined (BUILD_COVERAGE)
/* For coverage build, expand the typical macros assert, avoid expanding then
   to not disturb coverage measurement */
#undef  M_ASSERT
#define M_ASSERT(...) (void)0
#undef  M_ASSERT_SLOW
#define M_ASSERT_SLOW(...) (void)0
#undef  M_ASSERT_INIT
#define M_ASSERT_INIT(...) (void)0
#undef  M_ASSERT_INDEX
#define M_ASSERT_INDEX(...) (void)0
#undef  M_ASSUME
#define M_ASSUME(...) (void)0
#undef  M_STATIC_ASSERT
#define M_STATIC_ASSERT(...) (void)0
#undef  M_ARRA4_CONTRACT
#define M_ARRA4_CONTRACT(...) (void)0
#undef  M_B1TSET_CONTRACT
#define M_B1TSET_CONTRACT(...) (void)0
#undef  M_BPTR33_NODE_CONTRACT
#define M_BPTR33_NODE_CONTRACT(...) (void)0
#undef  M_BPTR33_CONTRACT
#define M_BPTR33_CONTRACT(...) (void)0
#undef  M_BUFF3R_CONTRACT
#define M_BUFF3R_CONTRACT(...) (void)0
#undef  M_BUFF3R_PROTECTED_CONTRACT
#define M_BUFF3R_PROTECTED_CONTRACT(...) (void)0
#undef  M_QU3UE_MPMC_CONTRACT
#define M_QU3UE_MPMC_CONTRACT(...) (void)0
#undef  M_QU3UE_MPMC_CONTRACT
#define M_QU3UE_MPMC_CONTRACT(...) (void)0
#undef  M_QU3UE_SPSC_CONTRACT
#define M_QU3UE_SPSC_CONTRACT(...) (void)0
#undef  M_C0NCURRENT_CONTRACT
#define M_C0NCURRENT_CONTRACT(...) (void)0
#undef  M_D3QU3_CONTRACT
#define M_D3QU3_CONTRACT(...) (void)0
#undef  M_D1CT_CONTRACT
#define M_D1CT_CONTRACT(...) (void)0
#undef  M_D1CT_OA_CONTRACT
#define M_D1CT_OA_CONTRACT(...) (void)0
#undef  M_GEN1NT_CONTRACT
#define M_GEN1NT_CONTRACT(...) (void)0
#undef  M_IL1ST_CONTRACT
#define M_IL1ST_CONTRACT(...) (void)0
#undef  M_IL1ST_NODE_CONTRACT
#define M_IL1ST_NODE_CONTRACT(...) (void)0
#undef  M_L1ST_CONTRACT
#define M_L1ST_CONTRACT(...) (void)0
#undef  M_L1ST_DUAL_PUSH_CONTRACT
#define M_L1ST_DUAL_PUSH_CONTRACT(...) (void)0
#undef  M_M3MPOOL_CONTRACT
#define M_M3MPOOL_CONTRACT(...) (void)0
#undef  M_RBTR33_CONTRACT
#define M_RBTR33_CONTRACT(...) (void)0
#undef  M_RBTR33_CONTRACT_NODE
#define M_RBTR33_CONTRACT_NODE(...) (void)0
#undef  M_SHAR3D_CONTRACT
#define M_SHAR3D_CONTRACT(...) (void)0
#undef  M_SHAR3D_RESOURCE_CONTRACT
#define M_SHAR3D_RESOURCE_CONTRACT(...) (void)0
#undef  M_SNAPSH0T_SPSC_FLAGS_CONTRACT
#define M_SNAPSH0T_SPSC_FLAGS_CONTRACT(...) (void)0
#undef  M_SNAPSH0T_SPSC_CONTRACT
#define M_SNAPSH0T_SPSC_CONTRACT(...) (void)0
#undef  M_SNAPSH0T_SPMC_INT_CONTRACT
#define M_SNAPSH0T_SPMC_INT_CONTRACT(...) (void)0
#undef  M_SNAPSH0T_SPMC_CONTRACT
#define M_SNAPSH0T_SPMC_CONTRACT(...) (void)0
#undef  M_STR1NG_CONTRACT
#define M_STR1NG_CONTRACT(...) (void)0
#undef  M_BOUNDED_STR1NG_CONTRACT
#define M_BOUNDED_STR1NG_CONTRACT(...) (void)0
#undef  M_TUPL3_CONTRACT
#define M_TUPL3_CONTRACT(...) (void)0
#undef  M_VAR1ANT_CONTRACT
#define M_VAR1ANT_CONTRACT(...) (void)0
#undef  M_TR33_NODE_CONTRACT
#define M_TR33_NODE_CONTRACT(...) (void)0
#undef  M_TR33_CONTRACT
#define M_TR33_CONTRACT(...) (void)0
#undef  M_TR33_IT_CONTRACT
#define M_TR33_IT_CONTRACT(...) (void)0
/* Overwrite M_UNLIKELY_NOMEM so that it can never fails, to avoid spurious coverage */
#undef M_UNLIKELY_NOMEM
#define M_UNLIKELY_NOMEM(...) 0
#endif

#ifdef WITHIN_COVERAGE
/* For coverage build, do not expand other likes NULL, etc. */
#undef assert
#undef M_STATIC_FAILURE
#undef NULL
#undef M_LIKELY
#undef M_UNLIKELY
#undef M_MEMORY_FULL
#undef M_SWAP
#undef NDEBUG
#undef atomic_init
#undef atomic_load
#undef atomic_store
#undef atomic_compare_exchange_weak
#undef atomic_compare_exchange_strong
#undef atomic_fetch_add
#undef atomic_fetch_sub
#undef M_CONST_CAST
#undef M_ASSIGN_CAST
#undef M_CHECK_DEFAULT_TYPE
#undef M_CHECK_SAME
#undef isspace
#elif defined(BUILD_COVERAGE)
// Overload assert to avoid polluting final branch coverage
// No need to provide debug outputs. Just abort in case of error.
#undef assert
static void assert(int cond)
{
   if (!cond) abort();
}
#elif defined(WITHIN_ANALYZER)
/* For analyzer build, do not expand other likes NULL, etc. */
#undef assert
#undef M_STATIC_FAILURE
#undef NULL
#undef M_LIKELY
#undef M_UNLIKELY
#undef M_MEMORY_FULL
#undef M_SWAP
#undef NDEBUG
#undef atomic_init
#undef atomic_load
#undef atomic_store
#undef atomic_compare_exchange_weak
#undef atomic_compare_exchange_strong
#undef atomic_fetch_add
#undef atomic_fetch_sub
#undef M_CONST_CAST
#undef M_ASSIGN_CAST
#undef M_CHECK_DEFAULT_TYPE
#undef M_CHECK_SAME
#undef isspace
#else
/* For normal builds, empty macros which does nothing */
#define START_COVERAGE
#define END_COVERAGE
#endif