On Thu, Dec 6, 2012 at 4:59 AM, Alexandre Oliva wrote:
> SRA (and perhaps other passes?) introduce “addressable” MEM_REFs to
> variables that were not addressable at the time mudflap1 ran registering
> valid memory ranges; when mudflap2 ran to emit the checks, it found such
> MEM_REFs, marking the
SRA (and perhaps other passes?) introduce “addressable” MEM_REFs to
variables that were not addressable at the time mudflap1 ran registering
valid memory ranges; when mudflap2 ran to emit the checks, it found such
MEM_REFs, marking the variables as addressable and emitting checks that
will fail at
