Daiki Kato / mbed-os-lychee

mbed-os for GR-LYCHEE

Dependents:   mbed-os-example-blinky-gr-lychee GR-Boads_Camera_sample GR-Boards_Audio_Recoder GR-Boads_Camera_DisplayApp ... more

platform/mbed_assert.h@0:f782d9c66c49, 2018-02-02 (annotated)

Committer:
dkato
Date:
Fri Feb 02 05:42:23 2018 +0000
Revision:
0:f782d9c66c49
mbed-os for GR-LYCHEE

Who changed what in which revision?

UserRevisionLine numberNew contents of line
dkato 0:f782d9c66c49 1
dkato 0:f782d9c66c49 2 /** \addtogroup platform */
dkato 0:f782d9c66c49 3 /** @{*/
dkato 0:f782d9c66c49 4 /* mbed Microcontroller Library
dkato 0:f782d9c66c49 5 * Copyright (c) 2006-2013 ARM Limited
dkato 0:f782d9c66c49 6 *
dkato 0:f782d9c66c49 7 * Licensed under the Apache License, Version 2.0 (the "License");
dkato 0:f782d9c66c49 8 * you may not use this file except in compliance with the License.
dkato 0:f782d9c66c49 9 * You may obtain a copy of the License at
dkato 0:f782d9c66c49 10 *
dkato 0:f782d9c66c49 11 * http://www.apache.org/licenses/LICENSE-2.0
dkato 0:f782d9c66c49 12 *
dkato 0:f782d9c66c49 13 * Unless required by applicable law or agreed to in writing, software
dkato 0:f782d9c66c49 14 * distributed under the License is distributed on an "AS IS" BASIS,
dkato 0:f782d9c66c49 15 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
dkato 0:f782d9c66c49 16 * See the License for the specific language governing permissions and
dkato 0:f782d9c66c49 17 * limitations under the License.
dkato 0:f782d9c66c49 18 */
dkato 0:f782d9c66c49 19 #ifndef MBED_ASSERT_H
dkato 0:f782d9c66c49 20 #define MBED_ASSERT_H
dkato 0:f782d9c66c49 21
dkato 0:f782d9c66c49 22 #include "mbed_preprocessor.h"
dkato 0:f782d9c66c49 23
dkato 0:f782d9c66c49 24 #ifdef __cplusplus
dkato 0:f782d9c66c49 25 extern "C" {
dkato 0:f782d9c66c49 26 #endif
dkato 0:f782d9c66c49 27
dkato 0:f782d9c66c49 28 /** Internal mbed assert function which is invoked when MBED_ASSERT macro failes.
dkato 0:f782d9c66c49 29 * This function is active only if NDEBUG is not defined prior to including this
dkato 0:f782d9c66c49 30 * assert header file.
dkato 0:f782d9c66c49 31 * In case of MBED_ASSERT failing condition, error() is called with the assertation message.
dkato 0:f782d9c66c49 32 * @param expr Expresion to be checked.
dkato 0:f782d9c66c49 33 * @param file File where assertation failed.
dkato 0:f782d9c66c49 34 * @param line Failing assertation line number.
dkato 0:f782d9c66c49 35 */
dkato 0:f782d9c66c49 36 void mbed_assert_internal(const char *expr, const char *file, int line);
dkato 0:f782d9c66c49 37
dkato 0:f782d9c66c49 38 #ifdef __cplusplus
dkato 0:f782d9c66c49 39 }
dkato 0:f782d9c66c49 40 #endif
dkato 0:f782d9c66c49 41
dkato 0:f782d9c66c49 42 #ifdef NDEBUG
dkato 0:f782d9c66c49 43 #define MBED_ASSERT(expr) ((void)0)
dkato 0:f782d9c66c49 44
dkato 0:f782d9c66c49 45 #else
dkato 0:f782d9c66c49 46 #define MBED_ASSERT(expr) \
dkato 0:f782d9c66c49 47 do { \
dkato 0:f782d9c66c49 48 if (!(expr)) { \
dkato 0:f782d9c66c49 49 mbed_assert_internal(#expr, __FILE__, __LINE__); \
dkato 0:f782d9c66c49 50 } \
dkato 0:f782d9c66c49 51 } while (0)
dkato 0:f782d9c66c49 52 #endif
dkato 0:f782d9c66c49 53
dkato 0:f782d9c66c49 54
dkato 0:f782d9c66c49 55 /** MBED_STATIC_ASSERT
dkato 0:f782d9c66c49 56 * Declare compile-time assertions, results in compile-time error if condition is false
dkato 0:f782d9c66c49 57 *
dkato 0:f782d9c66c49 58 * The assertion acts as a declaration that can be placed at file scope, in a
dkato 0:f782d9c66c49 59 * code block (except after a label), or as a member of a C++ class/struct/union.
dkato 0:f782d9c66c49 60 *
dkato 0:f782d9c66c49 61 * @note
dkato 0:f782d9c66c49 62 * Use of MBED_STATIC_ASSERT as a member of a struct/union is limited:
dkato 0:f782d9c66c49 63 * - In C++, MBED_STATIC_ASSERT is valid in class/struct/union scope.
dkato 0:f782d9c66c49 64 * - In C, MBED_STATIC_ASSERT is not valid in struct/union scope, and
dkato 0:f782d9c66c49 65 * MBED_STRUCT_STATIC_ASSERT is provided as an alternative that is valid
dkato 0:f782d9c66c49 66 * in C and C++ class/struct/union scope.
dkato 0:f782d9c66c49 67 *
dkato 0:f782d9c66c49 68 * @code
dkato 0:f782d9c66c49 69 * MBED_STATIC_ASSERT(MBED_LIBRARY_VERSION >= 120,
dkato 0:f782d9c66c49 70 * "The mbed library must be at least version 120");
dkato 0:f782d9c66c49 71 *
dkato 0:f782d9c66c49 72 * int main() {
dkato 0:f782d9c66c49 73 * MBED_STATIC_ASSERT(sizeof(int) >= sizeof(char),
dkato 0:f782d9c66c49 74 * "An int must be larger than a char");
dkato 0:f782d9c66c49 75 * }
dkato 0:f782d9c66c49 76 * @endcode
dkato 0:f782d9c66c49 77 */
dkato 0:f782d9c66c49 78 #if defined(__cplusplus) && (__cplusplus >= 201103L || __cpp_static_assert >= 200410L)
dkato 0:f782d9c66c49 79 #define MBED_STATIC_ASSERT(expr, msg) static_assert(expr, msg)
dkato 0:f782d9c66c49 80 #elif !defined(__cplusplus) && __STDC_VERSION__ >= 201112L
dkato 0:f782d9c66c49 81 #define MBED_STATIC_ASSERT(expr, msg) _Static_assert(expr, msg)
dkato 0:f782d9c66c49 82 #elif defined(__cplusplus) && defined(__GNUC__) && defined(__GXX_EXPERIMENTAL_CXX0X__) \
dkato 0:f782d9c66c49 83 && (__GNUC__*100 + __GNUC_MINOR__) > 403L
dkato 0:f782d9c66c49 84 #define MBED_STATIC_ASSERT(expr, msg) __extension__ static_assert(expr, msg)
dkato 0:f782d9c66c49 85 #elif !defined(__cplusplus) && defined(__GNUC__) && !defined(__CC_ARM) \
dkato 0:f782d9c66c49 86 && (__GNUC__*100 + __GNUC_MINOR__) > 406L
dkato 0:f782d9c66c49 87 #define MBED_STATIC_ASSERT(expr, msg) __extension__ _Static_assert(expr, msg)
dkato 0:f782d9c66c49 88 #elif defined(__ICCARM__)
dkato 0:f782d9c66c49 89 #define MBED_STATIC_ASSERT(expr, msg) static_assert(expr, msg)
dkato 0:f782d9c66c49 90 #else
dkato 0:f782d9c66c49 91 #define MBED_STATIC_ASSERT(expr, msg) \
dkato 0:f782d9c66c49 92 enum {MBED_CONCAT(MBED_ASSERTION_AT_, __LINE__) = sizeof(char[(expr) ? 1 : -1])}
dkato 0:f782d9c66c49 93 #endif
dkato 0:f782d9c66c49 94
dkato 0:f782d9c66c49 95 /** MBED_STRUCT_STATIC_ASSERT
dkato 0:f782d9c66c49 96 * Declare compile-time assertions, results in compile-time error if condition is false
dkato 0:f782d9c66c49 97 *
dkato 0:f782d9c66c49 98 * Unlike MBED_STATIC_ASSERT, MBED_STRUCT_STATIC_ASSERT can and must be used
dkato 0:f782d9c66c49 99 * as a member of a C/C++ class/struct/union.
dkato 0:f782d9c66c49 100 *
dkato 0:f782d9c66c49 101 * @code
dkato 0:f782d9c66c49 102 * struct thing {
dkato 0:f782d9c66c49 103 * MBED_STATIC_ASSERT(2 + 2 == 4,
dkato 0:f782d9c66c49 104 * "Hopefully the universe is mathematically consistent");
dkato 0:f782d9c66c49 105 * };
dkato 0:f782d9c66c49 106 * @endcode
dkato 0:f782d9c66c49 107 */
dkato 0:f782d9c66c49 108 #define MBED_STRUCT_STATIC_ASSERT(expr, msg) int : (expr) ? 0 : -1
dkato 0:f782d9c66c49 109
dkato 0:f782d9c66c49 110
dkato 0:f782d9c66c49 111 #endif
dkato 0:f782d9c66c49 112
dkato 0:f782d9c66c49 113 /** @}*/