On Thu, 15 Dec 2016, Jeff Law wrote: > This version attacks the problem by improving DSE to track stores to memory at > a byte level. That allows us to determine if a series of stores completely > covers an earlier store (thus making the earlier store dead).
Question: suppose you have an assignment for a struct with padding, then stores for all the elements. Does it detect that the original assignment is dead (because there is no need to copy padding on struct assignment)? -- Joseph S. Myers jos...@codesourcery.com