; RUN: analyze %s -datastructure-gc  -dsgc-check-flags=G:GIM -dsgc-dspass=bu &&\
; RUN: analyze %s -datastructure-gc  -dsgc-check-flags=G:GIM -dsgc-dspass=td

%S = type { double, int }

%G = external global %S

void %main() {
	%b = getelementptr %S* %G, long 0, ubyte 0
	store double 0.1, double* %b
	ret void
}