------- Comment #14 from burnus at gcc dot gnu dot org 2010-07-22 15:36 -------
(In reply to comment #13)
> (In reply to comment #12)
> IPA-CP can do that for quite some time please try with -fno-ipa-cp.
As expected: It works with -fno-ipa-cp.
> (I don't have a trunk built with enabled fortran at hand and I am a
> bit overwhelmed with bugs and other stuff recently so I can have a
> look at this but it will take at least a few days before I get to it.)
Thanks.
Some pre-analysis: The "fn spec" (the space is there to prevent other than
internal use - thus I cannot create a C test case) is converted in gimple.c's
gimple_call_arg_flags to EAF_* constants.
tree-ssa-structalias.c's handle_rhs_call uses them via:
for (i = 0; i < gimple_call_num_args (stmt); ++i)
[...]
int flags = gimple_call_arg_flags (stmt, i);
thus, the position seems to matter here.
The latter is called by find_func_aliases in an "if (!in_ipa_mode ..." block.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43665
