float.c File Reference

Go to the source code of this file.

Functions
int	_isnan (double x)
int	__builtin_flt_rounds (void)
int	__flt_rounds (void)

Variables
int	__CPROVER_rounding_mode

Function Documentation

__builtin_flt_rounds()

int __builtin_flt_rounds

(

void

)

Definition at line 75 of file float.c.

__flt_rounds()

int __flt_rounds

(

void

)

Definition at line 91 of file float.c.

_isnan()

int _isnan

(

double

x

)

Definition at line 66 of file float.c.

Variable Documentation

__CPROVER_rounding_mode

int __CPROVER_rounding_mode

extern