forked from enlightenment/efl
308 lines
13 KiB
C
308 lines
13 KiB
C
/* EINA - EFL data type library
|
|
* Copyright (C) 2008 Gustavo Sverzut Barbieri
|
|
*
|
|
* This library is free software; you can redistribute it and/or
|
|
* modify it under the terms of the GNU Lesser General Public
|
|
* License as published by the Free Software Foundation; either
|
|
* version 2.1 of the License, or (at your option) any later version.
|
|
*
|
|
* This library is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
* Lesser General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU Lesser General Public
|
|
* License along with this library;
|
|
* if not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
|
|
#ifndef EINA_SAFETY_CHECKS_H_
|
|
#define EINA_SAFETY_CHECKS_H_
|
|
|
|
/**
|
|
* @addtogroup Eina_Tools_Group Tools
|
|
*
|
|
* @{
|
|
*/
|
|
|
|
/**
|
|
* @defgroup Eina_Safety_Checks_Group Safety Checks
|
|
*
|
|
* @warning @c eina_safety_checks.h should only be included by source
|
|
* files, after all other includes and before the source file
|
|
* specific includes. By source file specific includes we
|
|
* mean those that define the functions that are being
|
|
* checked. The reason for such complexity is the trick to
|
|
* avoid compiler optimizations. If compilers are told that
|
|
* some given function will never receive @c NULL
|
|
* (EINA_ARG_NONNULL(), then compiler will emit a warning if
|
|
* it detects so (good!) but will remove any checks for that
|
|
* condition as it believes it will never happen, removing
|
|
* all safety checks! By including @c eina_safety_checks.h it
|
|
* will redefine EINA_ARG_NONNULL() to void and compiler
|
|
* warning will not be emitted, but checks will be there. The
|
|
* files already processed with the old macro
|
|
* EINA_ARG_NONNULL() will still work and emit the warnings.
|
|
*
|
|
*
|
|
* @code
|
|
*
|
|
* // all these files will emit warning from EINA_ARG_NONNULL()
|
|
* #include <Evas.h> // third party headers
|
|
* #include <Ecore.h>
|
|
*
|
|
* #include <eina_safety_checks.h>
|
|
* // all the files below will NOT emit warning from EINA_ARG_NONNULL(),
|
|
* // but this is required to have the functions defined there to be checked
|
|
* // for NULL pointers
|
|
* #include "my_functions1.h"
|
|
* #include "my_functions2.h"
|
|
*
|
|
* @endcode
|
|
*/
|
|
|
|
/**
|
|
* @addtogroup Eina_Safety_Checks_Group Safety Checks
|
|
*
|
|
* Safety checks are a set of macros to check for parameters or values
|
|
* that should never happen, it is similar in concept to assert(), but
|
|
* will log and return instead of abort() your program.
|
|
*
|
|
* Since these cases should never happen, one may want to keep safety
|
|
* checks enabled during tests but disable then during deploy, not
|
|
* doing any checks at all. This is a common requirement for embedded
|
|
* systems. When to check or not should be set during compile time
|
|
* by using @c --disable-safety-checks or @c --enable-safety-checks
|
|
* options to @c configure script.
|
|
*
|
|
* Whenever these macros capture an error, EINA_LOG_ERR() will be
|
|
* called.
|
|
*
|
|
* @see EINA_SAFETY_ON_NULL_RETURN(), EINA_SAFETY_ON_NULL_RETURN_VAL()
|
|
* and other macros.
|
|
*
|
|
* @{
|
|
*/
|
|
|
|
#include "eina_config.h"
|
|
#include "eina_error.h"
|
|
|
|
EAPI extern Eina_Error EINA_ERROR_SAFETY_FAILED;
|
|
|
|
#ifdef EINA_SAFETY_CHECKS
|
|
|
|
#include "eina_log.h"
|
|
|
|
# ifdef EFL_BETA_API_SUPPORT
|
|
/**
|
|
* Log entry-point called every time an eina safety check fails.
|
|
*
|
|
* One purpose of this dedicated function is to provide a convenient breakpoint
|
|
* for GDB debugging. Also, this gives it a dedicated log domain, rather than
|
|
* using the default one.
|
|
*
|
|
* @since 1.17
|
|
* @internal
|
|
*/
|
|
EAPI void _eina_safety_error(const char *file, const char *func, int line, const char *str);
|
|
# define EINA_SAFETY_ERROR(msg) _eina_safety_error(__FILE__, __FUNCTION__, __LINE__, msg)
|
|
# else
|
|
# define EINA_SAFETY_ERROR(msg) EINA_LOG_ERR("%s", msg)
|
|
# endif
|
|
|
|
#define EINA_SAFETY_ON_NULL_RETURN(exp) \
|
|
do \
|
|
{ \
|
|
if (EINA_UNLIKELY((exp) == NULL)) \
|
|
{ \
|
|
EINA_SAFETY_ERROR("safety check failed: " # exp " == NULL"); \
|
|
return; \
|
|
} \
|
|
} \
|
|
while (0)
|
|
|
|
#define EINA_SAFETY_ON_NULL_RETURN_VAL(exp, val) \
|
|
do \
|
|
{ \
|
|
if (EINA_UNLIKELY((exp) == NULL)) \
|
|
{ \
|
|
EINA_SAFETY_ERROR("safety check failed: " # exp " == NULL"); \
|
|
return (val); \
|
|
} \
|
|
} \
|
|
while (0)
|
|
|
|
#define EINA_SAFETY_ON_NULL_GOTO(exp, label) \
|
|
do \
|
|
{ \
|
|
if (EINA_UNLIKELY((exp) == NULL)) \
|
|
{ \
|
|
EINA_SAFETY_ERROR("safety check failed: " # exp " == NULL"); \
|
|
goto label; \
|
|
} \
|
|
} \
|
|
while (0)
|
|
|
|
#define EINA_SAFETY_ON_TRUE_RETURN(exp) \
|
|
do \
|
|
{ \
|
|
if (EINA_UNLIKELY(exp)) \
|
|
{ \
|
|
EINA_SAFETY_ERROR("safety check failed: " # exp " is true"); \
|
|
return; \
|
|
} \
|
|
} \
|
|
while (0)
|
|
|
|
#define EINA_SAFETY_ON_TRUE_RETURN_VAL(exp, val) \
|
|
do \
|
|
{ \
|
|
if (EINA_UNLIKELY(exp)) \
|
|
{ \
|
|
EINA_SAFETY_ERROR("safety check failed: " # exp " is true"); \
|
|
return val; \
|
|
} \
|
|
} \
|
|
while (0)
|
|
|
|
#define EINA_SAFETY_ON_TRUE_GOTO(exp, label) \
|
|
do \
|
|
{ \
|
|
if (EINA_UNLIKELY(exp)) \
|
|
{ \
|
|
EINA_SAFETY_ERROR("safety check failed: " # exp " is true"); \
|
|
goto label; \
|
|
} \
|
|
} \
|
|
while (0)
|
|
|
|
#define EINA_SAFETY_ON_FALSE_RETURN(exp) \
|
|
do \
|
|
{ \
|
|
if (EINA_UNLIKELY(!(exp))) \
|
|
{ \
|
|
EINA_SAFETY_ERROR("safety check failed: " # exp " is false"); \
|
|
return; \
|
|
} \
|
|
} \
|
|
while (0)
|
|
|
|
#define EINA_SAFETY_ON_FALSE_RETURN_VAL(exp, val) \
|
|
do \
|
|
{ \
|
|
if (EINA_UNLIKELY(!(exp))) \
|
|
{ \
|
|
EINA_SAFETY_ERROR("safety check failed: " # exp " is false"); \
|
|
return val; \
|
|
} \
|
|
} \
|
|
while (0)
|
|
|
|
#define EINA_SAFETY_ON_FALSE_GOTO(exp, label) \
|
|
do \
|
|
{ \
|
|
if (EINA_UNLIKELY(!(exp))) \
|
|
{ \
|
|
EINA_SAFETY_ERROR("safety check failed: " # exp " is false"); \
|
|
goto label; \
|
|
} \
|
|
} \
|
|
while (0)
|
|
|
|
#ifdef EINA_ARG_NONNULL
|
|
/* make EINA_ARG_NONNULL void so GCC does not optimize safety checks */
|
|
#undef EINA_ARG_NONNULL
|
|
#define EINA_ARG_NONNULL(...)
|
|
#endif
|
|
|
|
#else /* no safety checks */
|
|
|
|
/**
|
|
* @def EINA_SAFETY_ON_NULL_RETURN
|
|
* @brief The macro doesn't do anything unless EINA_SAFETY_CHECKS is defined.
|
|
* @param[in] exp The expression to be evaluated.
|
|
*/
|
|
#define EINA_SAFETY_ON_NULL_RETURN(exp) \
|
|
do { (void)(!(exp)); } while (0)
|
|
|
|
/**
|
|
* @def EINA_SAFETY_ON_NULL_RETURN_VAL
|
|
* @brief The macro doesn't do anything unless EINA_SAFETY_CHECKS is defined.
|
|
* @param[in] exp The expression to be evaluated.
|
|
* @param[in] val The value to be returned.
|
|
*/
|
|
#define EINA_SAFETY_ON_NULL_RETURN_VAL(exp, val) \
|
|
do { if (0 && !(exp)) { (void)val; } } while (0)
|
|
|
|
/**
|
|
* @def EINA_SAFETY_ON_NULL_GOTO
|
|
* @brief The macro doesn't do anything unless EINA_SAFETY_CHECKS is defined.
|
|
* @param[in] exp The expression to be evaluated.
|
|
* @param[in] label The label to jump to.
|
|
*/
|
|
#define EINA_SAFETY_ON_NULL_GOTO(exp, label) \
|
|
do { if (0 && (exp) == NULL) { goto label; } } while (0)
|
|
|
|
/**
|
|
* @def EINA_SAFETY_ON_TRUE_RETURN
|
|
* @brief The macro doesn't do anything unless EINA_SAFETY_CHECKS is defined.
|
|
* @param[in] exp The expression to be evaluated.
|
|
*/
|
|
#define EINA_SAFETY_ON_TRUE_RETURN(exp) \
|
|
do { (void)(exp); } while (0)
|
|
|
|
/**
|
|
* @def EINA_SAFETY_ON_TRUE_RETURN_VAL
|
|
* @brief The macro doesn't do anything unless EINA_SAFETY_CHECKS is defined.
|
|
* @param[in] exp The expression to be evaluated.
|
|
* @param[in] val The value to be returned.
|
|
*/
|
|
#define EINA_SAFETY_ON_TRUE_RETURN_VAL(exp, val) \
|
|
do { if (0 && (exp)) { (void)val; } } while (0)
|
|
|
|
/**
|
|
* @def EINA_SAFETY_ON_TRUE_GOTO
|
|
* @brief The macro doesn't do anything unless EINA_SAFETY_CHECKS is defined.
|
|
* @param[in] exp The expression to be evaluated.
|
|
* @param[in] label The label to jump to.
|
|
*/
|
|
#define EINA_SAFETY_ON_TRUE_GOTO(exp, label) \
|
|
do { if (0 && (exp)) { goto label; } } while (0)
|
|
|
|
/**
|
|
* @def EINA_SAFETY_ON_FALSE_RETURN
|
|
* @brief The macro doesn't do anything unless EINA_SAFETY_CHECKS is defined.
|
|
* @param[in] exp The expression to be evaluated.
|
|
*/
|
|
#define EINA_SAFETY_ON_FALSE_RETURN(exp) \
|
|
do { (void)(!(exp)); } while (0)
|
|
|
|
/**
|
|
* @def EINA_SAFETY_ON_FALSE_RETURN_VAL
|
|
* @brief The macro doesn't do anything unless EINA_SAFETY_CHECKS is defined.
|
|
* @param[in] exp The expression to be evaluated.
|
|
* @param[in] val The value to be returned.
|
|
*/
|
|
#define EINA_SAFETY_ON_FALSE_RETURN_VAL(exp, val) \
|
|
do { if (0 && !(exp)) { (void)val; } } while (0)
|
|
|
|
/**
|
|
* @def EINA_SAFETY_ON_FALSE_GOTO
|
|
* @brief The macro doesn't do anything unless EINA_SAFETY_CHECKS is defined.
|
|
* @param[in] exp The expression to be evaluated.
|
|
* @param[in] label The label to jump to.
|
|
*/
|
|
#define EINA_SAFETY_ON_FALSE_GOTO(exp, label) \
|
|
do { if (0 && !(exp)) { goto label; } } while (0)
|
|
|
|
#endif /* safety checks macros */
|
|
#endif /* EINA_SAFETY_CHECKS_H_ */
|
|
|
|
/**
|
|
* @}
|
|
*/
|
|
|
|
/**
|
|
* @}
|
|
*/
|