https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84824
--- Comment #14 from linzj <manjian2006 at gmail dot com> --- I mean call_may_clobber_ref_p_1 function in tree-ssa-alias.c. It does use the clobber set of the call statement. So making the clobber set right should have positive effect on the code, right?