/* SPDX-License-Identifier: BSD-2-Clause */
|
/*
|
* Copyright (c) 2014, STMicroelectronics International N.V.
|
* All rights reserved.
|
*/
|
|
#ifndef TB_ASSERTS_H
|
#define TB_ASSERTS_H
|
|
#include <trace.h>
|
#include "tb_macros.h"
|
|
/*
|
* TB_ASSERT_MSG general assert function with a message.
|
*/
|
#define TB_ASSERT_MSG(cond, str) \
|
do { \
|
if (!(cond)) { \
|
EMSG("Assertion failed at line %d in file:\n%s\n", \
|
__LINE__, __FILE__); \
|
EMSG("Message: %s\n", str); \
|
HALT; \
|
}; \
|
} while (0)
|
|
/*
|
* TB_ASSERT general assert function.
|
*/
|
#define TB_ASSERT(cond) \
|
do { \
|
if (!(cond)) { \
|
EMSG("Assertion failed at line %d in file:\n%s\n", \
|
__LINE__, __FILE__); \
|
HALT; \
|
}; \
|
} while (0)
|
|
/*
|
* TB_ASSERT_EQ_SHORT checks that src equals the short value.
|
*/
|
#define TB_ASSERT_EQ_SHORT(src, short) \
|
do { \
|
if (((short) == 0) && (__mpanum_size((mpanum)src) != 0)) { \
|
EMSG("Assertion failed at line %d in file:\n%s\n", \
|
__LINE__, __FILE__); \
|
EMSG("short == 0, but size != 0\n"); \
|
HALT; \
|
} else if (__mpanum_size((mpanum)src) > 1) { \
|
EMSG("Assertion failed at line %d in file:\n%s\n", \
|
__LINE__, __FILE__); \
|
EMSG("size > 1, cannot be equal to a short.\n"); \
|
HALT; \
|
} else if ( \
|
(int)(__mpanum_lsw((mpanum)src)*__mpanum_sign((mpanum)src)) != \
|
(int)(short)) { \
|
EMSG("Assertion failed at line %d in file:\n%s\n", \
|
__LINE__, __FILE__); \
|
EMSG("short == %d, but src == %d\n", (short), \
|
(int)(__mpanum_lsw((mpanum)src) \
|
*__mpanum_sign((mpanum)src))); \
|
HALT; \
|
}; \
|
} while (0)
|
|
/*
|
* TB_ASSERT_STR_EQ checks that the two strings a and b are equal.
|
*/
|
#define TB_ASSERT_STR_EQ(a, b) \
|
do { \
|
if (my_strcmp((a), (b)) != 0) { \
|
EMSG("Assertion failed %s != %s\n", (a), (b)); \
|
HALT; \
|
}; \
|
} while (0)
|
|
/*
|
* TB_ASSERT_HEX_VALUE checks that a prints to the string v in hex.
|
*/
|
#define TB_ASSERT_HEX_PRINT_VALUE(a, v) \
|
do { \
|
char *_str_; \
|
_str_ = TEE_BigIntConvertToString(NULL, \
|
TEE_STRING_MODE_HEX_UC, (a)); \
|
TB_ASSERT_STR_EQ(_str_, (v)); \
|
TEE_Free(_str_); \
|
} while (0)
|
|
/*
|
* TB_ASSERT_POINTER_NULL(p) checks that p is null
|
*/
|
#define TB_ASSERT_POINTER_NULL(p) \
|
do { \
|
if ((p) != 0) { \
|
EMSG("Assertion failed, pointer was not null.\n"); \
|
HALT; \
|
}; \
|
} while (0)
|
|
/*
|
* TB_ASSERT_POINTERS_EQ checks that p, q are pointing to the same element
|
*/
|
#define TB_ASSERT_POINTERS_EQ(p, q) \
|
do { \
|
if ((p) != (q)) { \
|
EMSG("Assertion failed, pointers are not equal.\n"); \
|
HALT; \
|
}; \
|
} while (0)
|
|
/*
|
* TB_ASSERT_POINTERS_NEQ checks that p, q are not pointing to the same element
|
*/
|
#define TB_ASSERT_POINTERS_NEQ(p, q) \
|
do { \
|
if ((p) == (q)) { \
|
EMSG("Assertion failed, pointers are equal.\n"); \
|
HALT; \
|
}; \
|
} while (0)
|
|
/*
|
* TB_ASSERT_BIGINT_EQ Checks that a and b are equal
|
*/
|
#define TB_ASSERT_BIGINT_EQ(a, b) \
|
do { \
|
if (TEE_BigIntCmp((a), (b)) != 0) { \
|
EMSG("Assertion failed, numbers are not equal.\n"); \
|
HALT; \
|
}; \
|
} while (0)
|
|
/*
|
* TB_ASSERT_BIGINT_NEQ Checks that a and b are different
|
*/
|
#define TB_ASSERT_BIGINT_NEQ(a, b) \
|
do { \
|
if (TEE_BigIntCmp((a), (b)) == 0) { \
|
EMSG("Assertion failed, numbers are equal.\n"); \
|
HALT; \
|
}; \
|
} while (0)
|
|
/*
|
* TB_ASSERT_BIGINT_LESS Checks that a < b
|
*/
|
#define TB_ASSERT_BIGINT_LESS(a, b) \
|
do { \
|
if (TEE_BigIntCmp((a), (b)) >= 0) { \
|
EMSG("Assertion failed, first is not less than second.\n"); \
|
HALT; \
|
}; \
|
} while (0)
|
|
/*
|
* TB_ASSERT_INT_EQ Checks that a and be are equal
|
*/
|
#define TB_ASSERT_INT_EQ(a, b) \
|
do { \
|
if ((a) != (b)) { \
|
EMSG("Assertion failed, numbers are not equal.\n"); \
|
HALT; \
|
}; \
|
} while (0)
|
|
#endif
|
