annotate gcc/testsuite/gcc.c-torture/execute/ieee/pr84235.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 /* PR tree-optimization/84235 */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 int
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4 main ()
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6 double d = 1.0 / 0.0;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7 _Bool b = d == d && (d - d) != (d - d);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8 if (!b)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 __builtin_abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10 return 0;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 }