[cpp-threads] Padding bytes in structs

[Boehm, Hans]

Nick -

You mentioned writes to padding bytes in an earlier message.

I'm adding a clarification that they are officially disallowed by our
proposal, i.e. they should not be considered in determining the
existence of a data race.  However, I know of no cases in which such
writes are actually detectable; hence it seems the compiler is allowed
to introduce them anyway.  Am I missing something?

Hans