annotate gcc/testsuite/g++.dg/expr/pmf-3.C @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 84e7813d76e9
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 c++/80485
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2 // { dg-do compile { target c++11 } }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 // { dg-options "-fdelete-null-pointer-checks" }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5 struct dummy {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6 void nonnull() {};
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7 void nonnull2();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8 };
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10 typedef void (dummy::*safe_bool)();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 constexpr safe_bool a = &dummy::nonnull;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13 constexpr safe_bool b = &dummy::nonnull2;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15 static_assert( static_cast<bool>( a ), "" );
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16 static_assert( static_cast<bool>( b ), "" );