C provenance semantics proposal

[Jakub Jelinek]

On Wed, Apr 24, 2019 at 12:41:25PM -0600, Jeff Law wrote:
> >>> 4.) Compilers make sure that exposed objects never
> >>> are allocated next to each other (as Jens proposed).
> >> Ugh.  Not sure how you enforce that.  Consider that the compiler may
> >> ultimately have no control over layout of data in static storage.
> > 
> > Make everything 1 byte larger.
> Not a bad idea.  I suspect the embedded folks would go bananas though.

With variables with larger alignment that can be significantly more
than one byte.  That is not going to fly even for non-embedded.

	Jakub