assert.c

Go to the documentation of this file.

/*
 * This file is part of the µOS++ project (https://micro-os-plus.github.io/).
 * Copyright (c) 2015-2025 Liviu Ionescu. All rights reserved.
 *
 * Permission to use, copy, modify, and/or distribute this software
 * for any purpose is hereby granted, under the terms of the MIT license.
 *
 * If a copy of the license was not distributed with this file, it can
 * be obtained from https://opensource.org/licenses/mit.
 */
 
#include <assert.h>
#include <stdlib.h>
#include <stdint.h>
#include <unistd.h>
#include <string.h>
#include <stdio.h>
 
#if defined(OS_USE_OS_APP_CONFIG_H)
#include <cmsis-plus/os-app-config.h>
#endif
 
#include <cmsis-plus/diag/trace.h>
#include <cmsis-plus/rtos/os-c-api.h>
 
// ----------------------------------------------------------------------------
 
#pragma GCC diagnostic push
#if defined(__clang__)
#pragma clang diagnostic ignored "-Wreserved-identifier"
#else
#pragma GCC diagnostic ignored "-Wredundant-decls"
#endif
void
__assert_func (const char* file, int line, const char* func,
               const char* failedexpr);
#pragma GCC diagnostic pop
 
#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)
{
  os_irq_critical_enter ();
 
  // 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);
    }
  if (!os_irq_in_handler_mode ())
    {
      if (os_this_thread () != NULL)
        {
          trace_printf ("this_thread: %s @%p\n",
                        os_thread_get_name (os_this_thread ()),
                        os_this_thread ());
        }
    }
 
#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);
    }
  if (!os_irq_in_handler_mode ())
    {
      if (os_this_thread () != NULL)
        {
          printf ("this_thread: %s @%p\n",
                  os_thread_get_name (os_this_thread ()), os_this_thread ());
        }
    }
 
#endif
  abort ();
  /* NOTREACHED */
}
#endif
 
// ----------------------------------------------------------------------------
 
#if defined(OS_INCLUDE_ASSERT_FAILED)
 
// 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
#if defined(__clang__)
#pragma clang diagnostic ignored "-Wunused-parameter"
#elif defined(__GNUC__)
#pragma GCC diagnostic ignored "-Wunused-parameter"
#endif
 
// 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);
  trace_printf ("this_thread: %s\n", os_thread_get_name (os_this_thread ()));
 
#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
 
#endif // defined(OS_INCLUDE_ASSERT_FAILED)
 
// ----------------------------------------------------------------------------