svadev AT lists.siebelschool.illinois.edu
Subject: Svadev mailing list
List archive
- From: "Sean McBride" <sean AT rogue-research.com>
- To: "John Criswell" <criswell AT illinois.edu>
- Cc: svadev AT cs.uiuc.edu
- Subject: Re: [svadev] where is lgdtoa?
- Date: Wed, 21 Dec 2011 18:53:23 -0500
- List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
- List-id: <svadev.cs.uiuc.edu>
- Organization: Rogue Research Inc.
On Wed, 21 Dec 2011 16:55:49 -0600, John Criswell said:
>>> Can you try the compile with an unmodified Clang from LLVM 3.0?
>> I could, but I do know that this codebase builds with the gcc, llvm-
>gcc, and clang included in both Xcode 3.2.6 and 4.2, as well as with
>clang trunk from a few weeks ago. I suspect it would build with clang 3.
>
>Okay. I'm just wondering if it's a problem with the original Clang upon
>which SAFECode is based or the changes we made to integrate SAFECode
>into Clang.
Using the clang 3 binaries here:
<http://llvm.org/releases/download.html#3.0>
it compiles, links, and runs. So I guess it's the changes to integrate
SAFECode.
For a test case, would a large preprocessed file be ok?
--
____________________________________________________________
Sean McBride, B. Eng
sean AT rogue-research.com
Rogue Research www.rogue-research.com
Mac Software Developer Montréal, Québec, Canada
- [svadev] where is lgdtoa?, Sean McBride, 12/20/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/20/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/20/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/21/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/21/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/21/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/21/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/21/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/20/2011
Archive powered by MHonArc 2.6.16.