Svadev mailing list

[John Criswell <criswell AT illinois.edu>]

On 5/18/12 5:07 PM, Santosh Nagarakatte wrote:
> Hi all,
>
> I wanted to know if there is an automatic mechanism to generate the
> bitcode after every intermediate pass that safecode runs  when I use
> the -fmemsafety flag.

In response to your first question, no, I don't know of a way to do 
this.  You might ask on cfe-dev and see if they know of one.

As an FYI, I responded to this email right before I had to leave work on 
Friday, which is why my response was short.

-- John T.

> Also, let me know where do I update the documentation information
> about SoftBoundCETS so that people can test it with -fsoftbound flag?
>
> Thanks,
> Santosh