Snippet for testing Coverity Scan of composite type reads

composite_type_read_test.c

enum test_union_type {
	NONE,
	SHORT,
	INTEGER
};

union test_union {
	struct {};
	short s;
	int i;
};

struct test {
	enum test_union_type t;
	union test_union u;
};

void union_set_and_write(union test_union *ptr) {
	union test_union tmp_union;

	tmp_union.s = 1;
	// I believe the line below will not be marked as an unintialized read
	*ptr = tmp_union;
}

void none_type_struct_set_and_write(struct test *ptr) {
	struct test tmp_struct;
	
	tmp_struct.t = NONE;
	// I believe the line below will be marked as an unintialized read
	*ptr = tmp_struct;
}