dobbelaj-snps wrote: @dybv-sc Did you try out the extra testcases I mentioned (union of 2 structs) ? Can you also try out the effect of a union of arrays, and then referring to the 2nd element in the array ? https://github.com/llvm/llvm-project/pull/76356