On Thu, 2015-07-09 at 17:15 -0400, David Malcolm wrote:
> On Thu, 2015-07-09 at 17:06 -0400, David Malcolm wrote:
> 
> (snip)
> 
> > The fix will be to implement the LANG_HOOKS_GET_ALIAS_SET internal GCC
> > API thus giving libgccjit some rules about aliasing.  Some options:
> > 
> > (i) make it identical to C.
> > (ii) give the client code some control over this
> > 
> > My initial gut feeling is to go with (i).
> 
> ...or possibly to do what the link-time optimizer does, which is to use
> this internal API:
> 
> /* Return the typed-based alias set for T, which may be an expression
>    or a type.  Return -1 if we don't do anything special.  */
> 
> alias_set_type
> gimple_get_alias_set (tree t)
> 
> which does almost all of what the C frontend does.  I'll try to cook up
> a patch.

Attached is a patch [1] which fixes the minimal reproducer I created,
and the reproducer you sent.

Does it work for you?

Dave

[1] ...and yes, it's effectively a trivial 1-liner; sigh...