xref: /third_party/ltp/tools/sparse/sparse-src/validation/optim/kill-stores1.c

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\\.
 */