| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -fdump-tree-forwprop2" } */ | |
| struct A | |
| { | |
| void foo () | |
| { | |
| } | |
| }; | |
| int main() | |
| { | |
| void (A::* const p)() = & A::foo; | |
| A a; | |
| (a.*p)(); | |
| } | |
| /* We should eliminate the check if p points to a virtual function. */ | |
| /* { dg-final { scan-tree-dump-times "& 1" 0 "forwprop2" } } */ |