assert.c

Go to the documentation of this file.

/*
 * This file is part of the µOS++ distribution.
 *   (https://github.com/micro-os-plus)
 * Copyright (c) 2015 Liviu Ionescu.
 *
 * Permission is hereby granted, free of charge, to any person
 * obtaining a copy of this software and associated documentation
 * files (the "Software"), to deal in the Software without
 * restriction, including without limitation the rights to use,
 * copy, modify, merge, publish, distribute, sublicense, and/or
 * sell copies of the Software, and to permit persons to whom
 * the Software is furnished to do so, subject to the following
 * conditions:
 *
 * The above copyright notice and this permission notice shall be
 * included in all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
 * OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
 * HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
 * WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
 * OTHER DEALINGS IN THE SOFTWARE.
 */

#include <assert.h>
#include <stdlib.h>
#include <stdint.h>
#include <unistd.h>
#include <string.h>
#include <stdio.h>

#include <cmsis-plus/diag/trace.h>

// ----------------------------------------------------------------------------

void
__assert_func (const char* file, int line, const char* func,
               const char* failedexpr);

#if !defined(TRACE) && !defined(OS_USE_SEMIHOSTING_SYSCALLS)
void
__attribute__((noreturn))
__assert_func (const char* file __attribute__((unused)),
    int line __attribute__((unused)),
    const char* func __attribute__((unused)),
    const char* failedexpr __attribute__((unused)))
  {
    abort ();
  }

#else
void
__attribute__((noreturn))
__assert_func (const char* file, int line, const char* func,
               const char* failedexpr)
{
  // Not atomic, but otherwise the entire string might get too long,
  // and temporary buffer used by trace_printf() will overflow.
#if defined(TRACE)

  trace_printf ("assertion \"%s\" failed\n", failedexpr);
  trace_printf ("file: \"%s\"\n", file);
  trace_printf ("line: %d\n", line);
  if (func != NULL)
    {
      trace_printf ("function: %s\n", func);
    }

#elif defined(OS_USE_SEMIHOSTING_SYSCALLS)

  printf ("assertion \"%s\" failed\n", failedexpr);
  printf ("file: \"%s\"\n", file);
  printf ("line: %d\n", line);
  if (func != NULL)
    {
      printf ("function: %s\n", func);
    }
#endif
  abort ();
  /* NOTREACHED */
}
#endif

// ----------------------------------------------------------------------------

// This is STM32 specific, but can be used on other platforms too.
// If the application needs it, add the following to your application header:

//#if defined(USE_FULL_ASSERT)
//#define assert_param(expr) ((expr) ? (void)0 : assert_failed((uint8_t*)__FILE__, __LINE__)) void assert_failed(uint8_t* file, uint32_t line);
//#else
//#define assert_param(expr) ((void)0)
//#endif /* USE_FULL_ASSERT */

// In the new STM32 HAL, the USE_FULL_ASSERT macro is defined in
// stm32??xx_hal_conf.

void
assert_failed (uint8_t* file, uint32_t line);

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wunused-parameter"

// Called from the assert_param() macro, usually defined in the stm32f*_conf.h
void
__attribute__((noreturn))
assert_failed (uint8_t* file, uint32_t line)
{
#if defined(TRACE)

  trace_printf ("assert_param() failed: file \"%s\", line %d\n", file, line);

#elif defined(OS_USE_SEMIHOSTING_SYSCALLS)

  printf ("assert_param() failed: file \"%s\", line %d\n", file, (int)line);

#endif

  abort ();
  /* NOTREACHED */
}

#pragma GCC diagnostic pop

// ----------------------------------------------------------------------------