On 05/01/2018 05:16 PM, Kugan Vivekanandarajah wrote: >> I'm also struggling a little bit to see much value in handling this >> case. In the included testcases we've got a memset in a loop where the >> args do not vary across the loop iterations and there are no reads from >> the memory location within the loop. How realistic is that? > > I was looking into another case from an application but that was not > handled partly due to limitations of alias analysis and thought that > this could be handled. If you think that this is not going to happen > often in practice, I agree that this is not worth the trouble. I'm not sure, that's why I asked :-)
If you've seen this happen in your larger application or it's a prerequisite for addressing a missed DSE in your larger application, then that's probably enough justification to move forward with the simpler solution Richi suggested. Jeff