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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
struct s {
int c[1];
};
static struct s x, y;
static int p;
static void foo0(void)
{
(x = y).c; // x = y;
}
static void foo1(void)
{
int *t = (x = y).c; // x = y;
}
static void foo2(void)
{
(x = y).c + 1; // x = y;
}
static void foo3(void)
{
(x = y).c[0]; // x = y;
}
static void foo4(void)
{
(p ? x : y).c[0]; // ;
}
static void foo5(void)
{
(p, y).c[0]; // ;
}
/*
* check-name: kill-stores1
* check-command: test-linearize -Wno-decl $file
*
* check-output-ignore
* check-output-pattern(4): load\\.
* check-output-pattern(4): load\\..*0\\[y\\]
* check-output-pattern(4): store\\.
* check-output-pattern(4): store\\..*0\\[x\\]
* check-output-excludes: select\\.
*/
|
