summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/pr36017.c
blob: 2af71e6006e80058c2acbe19b5e0de7bfe0662f7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
/* PR rtl-optimization/36017 */
/* { dg-do run } */
/* { dg-options "-O2" } */

extern double sqrt (double);
extern void abort (void);

__attribute__((noinline)) double
foo (double a)
{
  double b, c, d = 0.7;
  if (a <= d)
    b = sqrt (d * a);
  else
    {
      c = (1.0 - d) * (1.0 - a);
      b = c > 0 ? 1.0 - sqrt (c) : 1.0;
    }
  return b;
}

int
main (void)
{
  double c = foo (0.5);
  if (c > 0.5917)
    abort ();
  return 0;
}