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: Baozeng <sploving1 AT gmail.com>
  • To: John Criswell <criswell AT illinois.edu>
  • 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:58:48 +0800
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
  • List-id: <svadev.cs.uiuc.edu>

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?

> 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.
>



--
Best Regards,
Baozeng Ding

OSTG,NFS,ISCAS





Archive powered by MHonArc 2.6.16.

Top of Page