[csmith-dev] Alignment of struct members cause target dependent checksum

[John Regehr]

> described the problem correctly, the test program was definitely UB.)

Actually I'm not sure this is true.  Can you justify this claim, Arthur? 
  My read of 6.2.6.1.7 in C99 and C11 is that it's unspecified.

John