fassert.h

Go to the documentation of this file.

/**
 *
 * @copyright © 2010 - 2021, Fraunhofer-Gesellschaft zur Foerderung der angewandten Forschung e.V.
 * All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 * 1. Redistributions of source code must retain the above copyright notice, this
 *    list of conditions and the following disclaimer.
 *
 * 2. 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.
 *
 * 3. Neither the name of the copyright holder nor the names of its
 *    contributors may be used to endorse or promote products derived from
 *    this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS 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 COPYRIGHT HOLDER OR 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.
 *
 * We kindly request you to use one or more of the following phrases to refer to
 * foxBMS in your hardware, software, documentation or advertising materials:
 *
 * - ″This product uses parts of foxBMS®″
 * - ″This product includes parts of foxBMS®″
 * - ″This product is derived from foxBMS®″
 *
 */
 
/**
 * @file    fassert.h
 * @author  foxBMS Team
 * @date    2020-03-20 (date of creation)
 * @updated 2021-11-10 (date of last update)
 * @ingroup ASSERT
 * @prefix  FAS
 *
 * @brief   Assert macro implementation
 *
 * @details The default implementation accommodates three behaviors,
 *   based on ASSERT_LEVEL symbol:
 *
 * - When the ASSERT_LEVEL symbol is defined as
 *   ASSERT_LEVEL_INF_LOOP_AND_DISABLE_INTERRUPTS, the FAS_ASSERT macro is
 *   implemented as an infinite loop in which all interrupts are disabled. This
 *   will definitely trigger a watchdog reset.
 *
 * - When ASSERT_LEVEL symbol is defined as ASSERT_LEVEL_INF_LOOP_FOR_DEBUG,
 *   the validation performed by the FAS_ASSERT macro is enabled, and a failed
 *   validation triggers an infinite loop. This configuration is recommended
 *   for development environments, as it prevents further execution. Depending
 *   on the configuration this might lead to a watchdog reset. This mode is
 *   intended for investigation of problems by a developer.
 *
 * - When ASSERT_LEVEL symbol is defined as ASSERT_LEVEL_NO_OP, the FAS_ASSERT
 *   macro is defined as empty and does nothing. It might be necessary to
 *   activate this mode in ressource-constrained situations. Generally it is
 *   not recommended to use this option as it will not notice the undefined
 *   system-states that the assert should catch.
 *
 *
 *   Generally assertions should be used for asserting states and values that
 *   should occur when the program is executed correctly. Do *not* assert
 *   anything that *might* be false. As an example it is perfectly good
 *   practice to assert that the input to a function is not a null pointer
 *   if the function is not designed to accept null pointers, but it is not
 *   good to check if a communication error has occurred somewhere. Assertions
 *   should never trip in a bug-free program.
 *
 *   Usage is FAS_ASSERT(condition that should be true).
 */
 
#ifndef FOXBMS__FASSERT_H_
#define FOXBMS__FASSERT_H_
 
/*========== Includes =======================================================*/
#include <stdint.h>
 
/*========== Macros and Definitions =========================================*/
/**
 * @brief   Disable interrupts
 * @details This alias is mapped to an ASM function and disables all interrupts
 *          by writing to the SPSR (Saved Program Status Register) register
 *          through the control field mask byte PSR[7:0] (privileged
 *          software execution)
 */
/* AXIVION Disable Style MisraC2012Directive-4.1: Function is implemented in Assembler see swiPortDisableInterrupts */
#pragma SWI_ALIAS(FAS_DisableInterrupts, 5)
extern void FAS_DisableInterrupts(void);
/* AXIVION Enable Style MisraC2012Directive-4.1: */
 
/**
 * @brief       Define that evaluates to essential boolean false thus tripping
 *              an assert.
 * @details     Call FAS_ASSERT() with this define in order to stop the code
 *              and trip an assertion.
 */
#define FAS_TRAP (0u == 1u)
 
/**
 * @brief       Struct for storing assert information
 * @details     This struct is intended for storing, information on the place
 *              in the code where an assert has been violated.
 */
typedef struct ASSERT_LOC {
    uint32_t *pc;  /*!< value of the program counter register */
    uint32_t line; /*!< line number where an assert has triggered */
} ASSERT_LOC_s;
 
/**
 * @brief       Stores the information on the last assert
 */
extern ASSERT_LOC_s fas_assertLocation;
 
/**
 * @brief   Copy the assert location into the assert struct.
 * @details Takes the location of the last assertion and writes it into
 *          #fas_assertLocation.
 *          This definition has to be at this position in order to be used by
 *          the macros below.
 *          If you get issues in a unit test with this being not defined, try
 *          to add this header to the unit tests includes explicitely.
 * @param[in]   pc      address of the program counter where the assertion
 *                      occurred
 * @param[in]   line    line where the assertion occurred
 */
extern void fas_storeAssertLoc(uint32_t *pc, uint32_t line);
 
/**
 * @def     ASSERT_LEVEL_INF_LOOP_AND_DISABLE_INTERRUPTS
 * @brief   This assert level traps the complete program by going into an
 *          infinite loop and disabling all interrupts.
 *
 * @def     ASSERT_LEVEL_INF_LOOP_FOR_DEBUG
 * @brief   This assert level traps the current task by going into an
 *          infinite loop.
 *
 * @def     ASSERT_LEVEL_NO_OP
 * @brief   This assert level does nothing (except for the standard recording
 *          of the assert location which does every level).
 */
#define ASSERT_LEVEL_INF_LOOP_AND_DISABLE_INTERRUPTS (0u)
#define ASSERT_LEVEL_INF_LOOP_FOR_DEBUG              (1u)
#define ASSERT_LEVEL_NO_OP                           (2u)
 
/**
 * @def     ASSERT_LEVEL
 * @brief   Set the assert level to a standard value if not set by the build.
 */
#ifndef ASSERT_LEVEL
#define ASSERT_LEVEL ASSERT_LEVEL_INF_LOOP_AND_DISABLE_INTERRUPTS
#endif
 
/*============= define how the assert shall behave =============*/
#if ASSERT_LEVEL == ASSERT_LEVEL_INF_LOOP_AND_DISABLE_INTERRUPTS
/** Assert macro will trigger a watchdog reset */
static inline void FAS_InfiniteLoop(void) {
    /* disable IRQ interrupts */
    FAS_DisableInterrupts();
    while (1) { /* Stay here until watchdog reset happens */
    }
}
#elif ASSERT_LEVEL == ASSERT_LEVEL_INF_LOOP_FOR_DEBUG
/** Assert macro will stay in infinite loop */
static inline void FAS_InfiniteLoop(void) {
    while (1) {
        /* Stay here to ease debugging */
    }
}
#elif ASSERT_LEVEL == ASSERT_LEVEL_NO_OP
static inline void FAS_InfiniteLoop(void) {
}
#else
#error "Invalid value for ASSERT_LEVEL"
#endif
 
/*============= define the recording macro =============*/
 
#ifdef UNITY_UNIT_TEST
/**
 * @def     __curpc(x)
 * @brief   replaces in unit test the (platform-specific) function for the retrieval of the program counter
 */
static inline uint32_t __curpc(void) {
    return 0u;
}
#endif
 
/**
 * @brief   Record the assert location
 * @details Retrieves the program counter (with __curpc()) and line-number at
 *          the current location and passes it to #fas_storeAssertLoc().
 *
 *          It is important that this is a macro in order to insert it directly
 *          at he assert location in the code
 */
#define FAS_ASSERT_RECORD()               \
    do {                                  \
        void *pc = __curpc();             \
        fas_storeAssertLoc(pc, __LINE__); \
    } while (0)
 
/*============= define the assertion-macro =============*/
/**
 * @def     FAS_ASSERT(x)
 * @brief   Assertion macro that asserts that x is true
 * @details This macro asserts the taken argument x. If the assertion fails
 *          it calls #FAS_ASSERT_RECORD() and then #FAS_InfiniteLoop().
 *
 *          In unit tests this is replace by an exception that is thrown in
 *          order to be able to test for a failed assertion.
 *
 *          Use this macro if you want to assert. If the assertion fails
 *          the macro will take action based on the configuration of this module.
 *          See #ASSERT_LEVEL for reference.
 *
 *          If the macro passes, it is just ignored. If you want to definitely
 *          fail, you can use the value #FAS_TRAP as an argument which is
 *          designed to fail in all cases.
 */
#ifdef UNITY_UNIT_TEST
#include "CException.h"
#define FAS_ASSERT(x) \
    if (!(x))         \
    Throw(0)
#else
#define FAS_ASSERT(x)            \
    do {                         \
        if (!(x)) {              \
            FAS_ASSERT_RECORD(); \
            FAS_InfiniteLoop();  \
        }                        \
    } while (0)
#endif
 
/**
 * @brief   static assertion macro
 * @details This macro maps static_assert to a compiler intrinsic.
 *          This will fail during compilation if the condition is not
 *          true.
 */
#define static_assert(cond, msg) _Static_assert(cond, msg)
 
/*========== Extern Constant and Variable Declarations ======================*/
 
/*========== Extern Function Prototypes =====================================*/
 
/*========== Externalized Static Functions Prototypes (Unit Test) ===========*/
 
#endif /* FOXBMS__FASSERT_H_ */