xref: /third_party/ltp/tools/sparse/sparse-src/validation/optim/kill-stores0.c
  • Home
  • History
  • Annotate Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
  • only in /third_party/ltp/tools/sparse/sparse-src/validation/optim/
1f08c3bdfSopenharmony_cistruct p {
2f08c3bdfSopenharmony_ci	int x, y;
3f08c3bdfSopenharmony_ci};
4f08c3bdfSopenharmony_ci
5f08c3bdfSopenharmony_cistruct q {
6f08c3bdfSopenharmony_ci	int w;
7f08c3bdfSopenharmony_ci};
8f08c3bdfSopenharmony_ci
9f08c3bdfSopenharmony_cistatic int foo(void)
10f08c3bdfSopenharmony_ci{
11f08c3bdfSopenharmony_ci	int x = 1;
12f08c3bdfSopenharmony_ci	int y = x;
13f08c3bdfSopenharmony_ci	return &x == &y;
14f08c3bdfSopenharmony_ci}
15f08c3bdfSopenharmony_ci
16f08c3bdfSopenharmony_cistatic int bar(struct p p)
17f08c3bdfSopenharmony_ci{
18f08c3bdfSopenharmony_ci	if (p.x != 0)
19f08c3bdfSopenharmony_ci		;
20f08c3bdfSopenharmony_ci}
21f08c3bdfSopenharmony_ci
22f08c3bdfSopenharmony_cistatic int baz(struct p p, struct q q)
23f08c3bdfSopenharmony_ci{
24f08c3bdfSopenharmony_ci	if (p.x != 0 || p.y != 1 || q.w == 0)
25f08c3bdfSopenharmony_ci		;
26f08c3bdfSopenharmony_ci}
27f08c3bdfSopenharmony_ci
28f08c3bdfSopenharmony_ci/*
29f08c3bdfSopenharmony_ci * check-name: kill-stores0
30f08c3bdfSopenharmony_ci * check-command: test-linearize $file
31f08c3bdfSopenharmony_ci *
32f08c3bdfSopenharmony_ci * check-output-ignore
33f08c3bdfSopenharmony_ci * check-output-excludes: store\\.
34f08c3bdfSopenharmony_ci */
35

Indexes created Thu Nov 07 10:32:03 CST 2024