cw_builtin_headers.h File Reference

Go to the source code of this file.

Functions
int	__abs (int)
void	__builtin_va_info ()
__CPROVER_size_t	__builtin_force_const (__CPROVER_size_t)

Function Documentation

__abs()

int __abs

(

int

)

__builtin_force_const()

__CPROVER_size_t __builtin_force_const

(

__CPROVER_size_t

)

__builtin_va_info()

void __builtin_va_info

(

)