svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] question about SAFECode output

From: David Keaton <dmk AT dmk.com>
To: Matthew Wala <wala1 AT illinois.edu>
Cc: "svadev AT cs.uiuc.edu" <svadev AT cs.uiuc.edu>
Subject: Re: [svadev] question about SAFECode output
Date: Fri, 20 Jan 2012 18:52:01 -0800
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>

Matt,

Thanks for the information.

On 01/19/2012 05:45 PM, Matthew Wala wrote:

The 20 error limit has been in place for a while. Which version of
SAFECode were you using prior to updating to the one in which the
program counter bug was fixed?

I don't know why I got the infinite loop, then, because I used a very recent version. Here's what I checked out.

svn co -r '{2012-01-18}' http://llvm.org/svn/llvm-project/safecode/trunk safecode

The same checkout for the very next day (the 19th) did not have the infinite loop in it.

I'm not worried about that, though, now that I know it is supposed to have a 20 error limit, and that the limit now works. This is just FYI since you asked about it.

David

[svadev] question about SAFECode output, David Keaton, 01/18/2012
- Re: [svadev] question about SAFECode output, Matthew Wala, 01/18/2012
  - Re: [svadev] question about SAFECode output, David Keaton, 01/19/2012
    - Re: [svadev] question about SAFECode output, Matthew Wala, 01/19/2012
      - Re: [svadev] question about SAFECode output, David Keaton, 01/20/2012
    - Re: [svadev] question about SAFECode output, John Criswell, 01/23/2012