> I changed this default to false somewhen in the past. There was a
> big fat comment there on the alias-improvements branch (where I
> wondered if returning false would be a safe thing to do).
>
> I didn't find (or could construct) a single C or C++ testcase that
> wasn't fine with the new default, so I switched it (IIRC the default
> is disambiguating the most cases).
OK, thanks for the explanation.
> I'm fine with switching it back though, this time with a comment
> explaining why it is not safe (instead of just speculating) and
> a testcase (I guess you now indeed have one). Care to prepare
> a patch?
Sure. Any preference for the new name of nonaliasing_component_refs_p?
The reduced testcase was extracted from ACATS c64106c:
=== acats tests ===
FAIL: c64106c
=== acats Summary ===
# of expected passes 2314
# of unexpected failures 1
Native configuration is sparc64-sun-solaris2.10
--
Eric Botcazou
