190 lines
6.3 KiB
C
190 lines
6.3 KiB
C
/*
|
|
* Copyright (c) 2017-2024, 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
|