#include "check_debug.h"

void memcpy(void *dest, void *src, int size);
void memset(void *dest, char c, int size);


struct foo {
	int x, y;
};

void test(void)
{
	struct foo src = {1, 41};
	struct foo dest;

	memcpy(&dest, &src, sizeof(dest));
	__smatch_implied(dest.x + dest.y);
	memset(&dest, 0, sizeof(dest));
	__smatch_implied(dest.x + dest.y);

}

/*
 * check-name: smatch struct assignment #1
 * check-command: smatch -I.. sm_struct_assign1.c
 *
 * check-output-start
sm_struct_assign1.c:17 test() implied: dest.x + dest.y = '42'
sm_struct_assign1.c:19 test() implied: dest.x + dest.y = '0'
 * check-output-end
 */