blob: 03f6b1207c7243dc8faa725cb933fba4164f438b (
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
30
31
|
/* { dg-do compile } */
/* { dg-options "-O -fdump-tree-dce2" } */
/* Verify that we can eliminate the useless conversions to/from
const qualified pointer types
this_2 = o_1;
D.20003_4 = this_2->data_m;
this_5 = D.20003_4;
D.20005_6 = this_5->value;
copyprop should propagate o_1 and D.20003_4 to the loads of data_m
and value. dce removes all traces of this. */
struct Data {
int get() const { return value; }
int value;
};
struct Object {
int operator[](int i) const { return data_m->get(); }
Data *data_m;
};
int foo(Object&o)
{
return o[0];
}
/* Remaining should be two loads. */
/* { dg-final { scan-tree-dump-times " = \[^\n\]*;" 2 "dce2" } } */
/* { dg-final { cleanup-tree-dump "dce2" } } */
|
