blob: 7ac6d6c42e7bdeaf0f4dd021de0a48fefbc3de8a [file] [log] [blame]
/* { dg-lto-do link } */
/* { dg-require-effective-target fpic } */
/* { dg-require-effective-target lto_incremental } */
/* { dg-lto-options {{-fPIC -r -nostdlib -flto -O2 -g -Wno-return-type}} } */
void frexp (int, int *);
namespace std
{
int ldexp (int, int);
struct A
{
};
template <class T> T get_min_shift_value ();
template <class> struct min_shift_initializer
{
struct B
{
B () { get_min_shift_value<long double> (); }
} static const b;
static void
m_fn1 ()
{
b;
}
};
template <class T>
const typename min_shift_initializer<T>::B min_shift_initializer<T>::b;
template <class T>
inline T
get_min_shift_value ()
{
using std::ldexp;
static T c = ldexp (0, 0);
min_shift_initializer<T>::m_fn1;
}
template <class T, class Policy>
void
float_next_imp (T p1, Policy p2)
{
using std::ldexp;
int d;
float_next (0, p2);
frexp (p1, &d);
}
template <class T, class Policy>
int
float_next (const T &p1, Policy &p2)
{
float_next_imp (p1, p2);
}
template <class T, class Policy> void float_prior_imp (T, Policy)
{
get_min_shift_value<T> ();
}
template <class T, class Policy> int float_prior (T, Policy)
{
float_prior_imp (static_cast<T> (0), 0);
}
template <class T, class U, class Policy>
void
nextafter (T p1, U p2, Policy p3)
{
p2 ? float_next (0, p3) : float_prior (p1, 0);
}
long double e;
int f;
void
nextafter ()
{
nextafter (e, f, A ());
}
}