> 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®test not sure how I missed the failure. Honza