svadev AT lists.siebelschool.illinois.edu
Subject: Svadev mailing list
List archive
- From: John Criswell <criswell AT illinois.edu>
- To: Matthew Wala <wala1 AT illinois.edu>
- Cc: svadev AT cs.uiuc.edu
- Subject: Re: [svadev] safecode: infinite loop with -fmemsafety
- Date: Mon, 11 Jun 2012 23:14:11 -0500
- List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
- List-id: <svadev.cs.uiuc.edu>
On 6/11/12 10:05 PM, Matthew Wala wrote:
[snip]
I haven't done this yet. Should the bug be filed against SAFECode or clang?John, I know you wanted me to try to compile Apache, but this issue is
getting in the way. Can anyone else reproduce this?
Matt, can you do the following?
1) File a bug with the reduced test case as an attachment.
It should be filed against SAFECode as it doesn't appear when the -fmemsafety option is not used (therefore, it may not trigger in the release_30 branch of LLVM/Clang).
You can think of it as a SAFECode bug that occurs because SAFECode is using LLVM 3.0 instead of LLVM 3.1. The fix is to upgrade SAFECode to use LLVM 3.1 (assuming that LLVM 3.1 fixes the code generator bug).
-- John T.
- [svadev] safecode: infinite loop with -fmemsafety, Matthew Wala, 06/08/2012
- Re: [svadev] safecode: infinite loop with -fmemsafety, John Criswell, 06/09/2012
- Re: [svadev] safecode: infinite loop with -fmemsafety, Matthew Wala, 06/11/2012
- Re: [svadev] safecode: infinite loop with -fmemsafety, John Criswell, 06/11/2012
- Re: [svadev] safecode: infinite loop with -fmemsafety, Will Dietz, 06/12/2012
- Re: [svadev] safecode: infinite loop with -fmemsafety, John Criswell, 06/12/2012
- Re: [svadev] safecode: infinite loop with -fmemsafety, Will Dietz, 06/12/2012
- Re: [svadev] safecode: infinite loop with -fmemsafety, John Criswell, 06/11/2012
- Re: [svadev] safecode: infinite loop with -fmemsafety, Matthew Wala, 06/11/2012
- Re: [svadev] safecode: infinite loop with -fmemsafety, John Criswell, 06/09/2012
Archive powered by MHonArc 2.6.16.