------- Comment #23 from rguenth at gcc dot gnu dot org 2007-08-31 14:13 ------- DSE would need to keep track of the "last" partial store to the aggregate and use that for memory_address_same () check to make
" The single use of the store's virtual definition ensures that there are no intervening aliased loads and the requirement that the second load post dominate the first ensures that if the earlier store executes, then the later stores will execute before the function exits." true for aggregate stores. "last" as in not otherwise dead last store, in the testcase that would be signInfo.d = 1; stmt. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30375
