1 2 3 4 5 6
; RUN: opt -analyze %s -tddatastructure void %foo(int* %X) { store int 4, int* %X ret void }