fenv.c File Reference

#include <fenv.h>

Include dependency graph for fenv.c:

Macros
#define	__ESBMC_FE_X86_DOWNWARD   0x400
#define	__ESBMC_FE_X86_UPWARD   0x800
#define	__ESBMC_FE_X86_TOWARDZERO   0xc00
#define	__ESBMC_FE_ARM_UPWARD   0x400000
#define	__ESBMC_FE_ARM_DOWNWARD   0x800000
#define	__ESBMC_FE_ARM_TOWARDZERO   0xc00000

Functions
int	fegetround (void)
int	fesetround (int rounding_mode)

Variables
int	__ESBMC_rounding_mode = 0

Macro Definition Documentation

__ESBMC_FE_ARM_DOWNWARD

#define __ESBMC_FE_ARM_DOWNWARD   0x800000

__ESBMC_FE_ARM_TOWARDZERO

#define __ESBMC_FE_ARM_TOWARDZERO   0xc00000

__ESBMC_FE_ARM_UPWARD

#define __ESBMC_FE_ARM_UPWARD   0x400000

__ESBMC_FE_X86_DOWNWARD

#define __ESBMC_FE_X86_DOWNWARD   0x400

__ESBMC_FE_X86_TOWARDZERO

#define __ESBMC_FE_X86_TOWARDZERO   0xc00

__ESBMC_FE_X86_UPWARD

#define __ESBMC_FE_X86_UPWARD   0x800

Function Documentation

fegetround()

int fegetround ( void )

inline

fesetround()

int fesetround ( int rounding_mode )

inline

Variable Documentation

__ESBMC_rounding_mode

int __ESBMC_rounding_mode = 0