You've already forked FFmpeg
mirror of
https://github.com/FFmpeg/FFmpeg.git
synced 2025-11-23 21:54:53 +02:00
47c6af7d29
One of the design goals of this macro is the ability to support static
inline predicate functions. Which is emitting warning in clang that a
function may have side-effects and the condition will be ignored. MSVC
doesn't emit warning, but also ignore predicate in such cases.
Instead of using assume builtins, implement it using unreachable. Which
solves this case for MSVC and Clang.
This reverts ea56fe60ac, but also extends
it to MSVC, which is affected in the similar way.
Signed-off-by: Kacper Michajłow <kasper93@gmail.com>
118 lines
3.8 KiB
C
118 lines
3.8 KiB
C
/*
|
|
* copyright (c) 2010 Michael Niedermayer <michaelni@gmx.at>
|
|
*
|
|
* This file is part of FFmpeg.
|
|
*
|
|
* FFmpeg 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.
|
|
*
|
|
* FFmpeg 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 FFmpeg; if not, write to the Free Software
|
|
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
|
*/
|
|
|
|
/**
|
|
* @file
|
|
* simple assert() macros that are a bit more flexible than ISO C assert().
|
|
* @author Michael Niedermayer <michaelni@gmx.at>
|
|
*/
|
|
|
|
#ifndef AVUTIL_AVASSERT_H
|
|
#define AVUTIL_AVASSERT_H
|
|
|
|
#include <stdlib.h>
|
|
#ifdef HAVE_AV_CONFIG_H
|
|
# include "config.h"
|
|
#endif
|
|
#include "attributes.h"
|
|
#include "log.h"
|
|
#include "macros.h"
|
|
|
|
/**
|
|
* assert() equivalent, that is always enabled.
|
|
*/
|
|
#define av_assert0(cond) do { \
|
|
if (!(cond)) { \
|
|
av_log(NULL, AV_LOG_PANIC, "Assertion %s failed at %s:%d\n", \
|
|
AV_STRINGIFY(cond), __FILE__, __LINE__); \
|
|
abort(); \
|
|
} \
|
|
} while (0)
|
|
|
|
|
|
/**
|
|
* assert() equivalent, that does not lie in speed critical code.
|
|
* These asserts() thus can be enabled without fearing speed loss.
|
|
*/
|
|
#if defined(ASSERT_LEVEL) && ASSERT_LEVEL > 0
|
|
#define av_assert1(cond) av_assert0(cond)
|
|
#else
|
|
#define av_assert1(cond) ((void)0)
|
|
#endif
|
|
|
|
|
|
/**
|
|
* assert() equivalent, that does lie in speed critical code.
|
|
*/
|
|
#if defined(ASSERT_LEVEL) && ASSERT_LEVEL > 1
|
|
#define av_assert2(cond) av_assert0(cond)
|
|
#define av_assert2_fpu() av_assert0_fpu()
|
|
#else
|
|
#define av_assert2(cond) ((void)0)
|
|
#define av_assert2_fpu() ((void)0)
|
|
#endif
|
|
|
|
/**
|
|
* Assert that floating point operations can be executed.
|
|
*
|
|
* This will av_assert0() that the cpu is not in MMX state on X86
|
|
*/
|
|
void av_assert0_fpu(void);
|
|
|
|
/**
|
|
* Asserts that are used as compiler optimization hints depending
|
|
* upon ASSERT_LEVEL and NBDEBUG.
|
|
*
|
|
* Undefined behaviour occurs if execution reaches a point marked
|
|
* with av_unreachable() or if a condition used with av_assume()
|
|
* is false.
|
|
*
|
|
* The condition used with av_assume() should not have side-effects
|
|
* and should be visible to the compiler.
|
|
*/
|
|
#if defined(ASSERT_LEVEL) ? ASSERT_LEVEL > 0 : !defined(HAVE_AV_CONFIG_H) && !defined(NDEBUG)
|
|
#define av_unreachable(msg) \
|
|
do { \
|
|
av_log(NULL, AV_LOG_PANIC, \
|
|
"Reached supposedly unreachable code at %s:%d: %s\n", \
|
|
__FILE__, __LINE__, msg); \
|
|
abort(); \
|
|
} while (0)
|
|
#define av_assume(cond) av_assert0(cond)
|
|
#else
|
|
#if AV_GCC_VERSION_AT_LEAST(4, 5) || AV_HAS_BUILTIN(__builtin_unreachable)
|
|
#define av_unreachable(msg) __builtin_unreachable()
|
|
#elif defined(_MSC_VER)
|
|
#define av_unreachable(msg) __assume(0)
|
|
#elif __STDC_VERSION__ >= 202311L
|
|
#include <stddef.h>
|
|
#define av_unreachable(msg) unreachable()
|
|
#else
|
|
#define av_unreachable(msg) ((void)0)
|
|
#endif
|
|
|
|
#define av_assume(cond) do { \
|
|
if (!(cond)) \
|
|
av_unreachable(); \
|
|
} while (0)
|
|
#endif
|
|
|
|
#endif /* AVUTIL_AVASSERT_H */
|