Re: [PATCH] Fix DSE not to consider calls as reads from function's body (PR target/77834)

[Bernd Schmidt]

On 11/04/2016 01:26 PM, Jakub Jelinek wrote:

The following patch avoids that.  Of course the question is if we want
to support something like:
char var[64];
...
var[0] = '0xe8';
var[1] = ...;
(void (*fn) (void) = (void (*) (void)) &var[0];
fn ();
without any kind of barrier, or not.

I was going to say no, but trampolines come to mind as a situation where 
we might come close to the above.


Bernd