Skip to Content.
Sympa Menu

svadev - Re: [svadev] safecode: infinite loop with -fmemsafety

svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] safecode: infinite loop with -fmemsafety


Chronological Thread 
  • 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]
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.

I haven't done this yet. Should the bug be filed against SAFECode or clang?

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.





Archive powered by MHonArc 2.6.16.

Top of Page