Making a variable addressable in GIMPLE

[Yoav Etsion]

Hi all,

I'm trying to inject code that uses variable addresses into the first 
mudflap pass. These variables are not natively addressable in the 
program itself.

The problem is that the first mudflap pass takes place at the GIMPLE 
level, at which point all variables have their 
addressable/non-addressable attributes set, which forbids me to build an 
ADDR_EXPR node for a non-addressable pointer variable ("invalid operand 
to unary & operator" error).

Is there a way to change this attribute at the GIMPLE level, or do I 
need to move my pass back a few notches, before gimplification?

Thanks,

Yoav Etsion