Skip to Content.
Sympa Menu

svadev - Re: [svadev] SAFECode Mainline Ready for Development

svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] SAFECode Mainline Ready for Development


Chronological Thread 
  • From: John Criswell <criswell AT illinois.edu>
  • To: Baozeng <sploving1 AT gmail.com>
  • Cc: "svadev AT cs.uiuc.edu" <svadev AT cs.uiuc.edu>
  • Subject: Re: [svadev] SAFECode Mainline Ready for Development
  • Date: Sat, 22 Sep 2012 10:40:42 -0500
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
  • List-id: <svadev.cs.uiuc.edu>

On 9/21/12 9:58 PM, Baozeng wrote:
> 2012/9/18 John Criswell
> <criswell AT illinois.edu>:
>> Dear All,
>>
>> I'm writing to let everyone know that SAFECode mainline (which works with
>> LLVM mainline) is now ready for development. All SAFECode developers
>> should
>> submit new patches and commits to mainline SAFECode; we're freezing the
>> release_30 branch of SAFECode.
>>
>> We'll be doing periodic merges with Clang and LLVM mainline to make sure we
>> stay working with the latest and greatest LLVM. The current plan is to
>> make
>> a release_32 branch of SAFECode when LLVM 3.2 is released.
>>
>> Because work on LLVM mainline is on-going, I won't update the web docs to
>> tell people to use mainline yet as we'll get occasional breakage. Users
>> who
>> want something solid should continue using the release_30 branch for now;
>> use mainline SAFECode at your own risk.
>>
>> Baozeng, I haven't tested the Baggy Bounds Checking functionality you've
>> added. When you get a chance, can you please look at it and make sure that
>> the changes are correct?
>>
> Okay.
> I download maintain llvm, poolalloc, and SAFECode
> and when compiling it, it shows the following error:
> GCall.cpp:1046: error:‘constructAlignmentFromInt’ is not a member of
> ‘llvm::Attribute’.
>
> I think it should be changed to llvm::Attributes, am I right?

There was a change to the attributes API that broke compilation of the
Baggy Bounds instrumentation pass. I fixed it so that it compiles again,
but I haven't tested it. Can you test it and make sure I didn't break
anything?

I also merged in mainline Clang to bring in fixes to use the new
attributes API. The build now works for me on Linux.

-- John T.

>
>> Ott, I've been holding off on your patches until mainline SAFECode clang
>> was
>> ready. Now that it is, we can begin reviewing your optimization patches
>> again if you'd like. I think there's one optimization that I need to
>> review
>> since you've submitted changes. I'll take a look at that either today or
>> tomorrow.
>>
>> Thanks to John Mainzer for his work on integrating the new mainline version
>> of Clang into SAFECode.
>>
>> If anyone has any questions or comments, please feel free to email the
>> list.
>>
>> -- John T.
>>
>
>





Archive powered by MHonArc 2.6.16.

Top of Page