> Hello.
> 
> Thanks for working on that. But have really run the test-cases as the newly
> added test still aborts as it used to before you installed this patch?

Eh, sorry, I had earlier version of patch that did

          if (gimple_call_fn (use_stmt) == name)
            lattice[index].merge (0);

like yours and then I noticed that dropping things like EAF_NOT_RETURNED
is not necessary. However instead

          if (gimple_call_fn (use_stmt) == name)
            lattice[index].merge (~EAF_NOCLOBBER);

It should be

          if (gimple_call_fn (use_stmt) == name)
            lattice[index].merge (~(EAF_NOCLOBBER | EAF_UNUSED));

Since EAF_UNUSED implies all the other flags so the merge becomes noop
with ~EAF_NOCLOBBER.  I will test the fix.
I remember re-running bootstrap&regtest not sure how I missed the
failure.

Honza

Reply via email to