fenv.c File Reference

#include <fenv.h>

Include dependency graph for fenv.c:

Go to the source code of this file.

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

Variables
int	__CPROVER_rounding_mode

Function Documentation

fegetround()

int fegetround

(

void

)

Definition at line 7 of file fenv.c.

feraiseexcept()

int feraiseexcept

(

int

excepts

)

Definition at line 46 of file fenv.c.

fesetround()

int fesetround

(

int

rounding_mode

)

Definition at line 27 of file fenv.c.

Variable Documentation

__CPROVER_rounding_mode

int __CPROVER_rounding_mode

extern

Definition at line 14 of file x86_assembler.c.