Skip to Content.
Sympa Menu

svadev - Re: [svadev] [Bug 12744] Missing Call Edges

svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] [Bug 12744] Missing Call Edges


Chronological Thread 
  • From: Will Dietz <willdtz AT gmail.com>
  • To: Jingyue Wu <wujingyue AT gmail.com>
  • Cc: SVA Developers <svadev AT cs.uiuc.edu>
  • Subject: Re: [svadev] [Bug 12744] Missing Call Edges
  • Date: Wed, 9 May 2012 20:14:51 -0500
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
  • List-id: <svadev.cs.uiuc.edu>

Yes, sorry. I've always been hesitant to mark known failures as XFAIL
(I suppose I'm worried they'll get lost that way), but I've gone ahead
and done so to make it clear what's known/expected to fail and what's
not :).

We have bugzilla, after all.

Sorry about that!

~Will

On Wed, May 9, 2012 at 8:06 PM, Jingyue Wu
<wujingyue AT gmail.com>
wrote:
> I checked out the latest trunk version, and found it failed with
> dsa/callgraph/loop1.ll and dsa/callgraph/loop2.ll. Does this happen to you?
>
> Jingyue
>
> On Wed, May 9, 2012 at 7:46 PM, John Criswell
> <criswell AT illinois.edu>
> wrote:
>>
>> On 5/9/12 5:03 PM, Will Dietz wrote:
>>>
>>> Hi Jingyue, taking this off bugzilla since I believe this has gone
>>> sufficiently off-topic, certainly for that particular bug report :).
>>>
>>> On Wed, May 9, 2012 at 4:05
>>> PM,<bugzilla-daemon AT llvm.org>
>>>  wrote:
>>> [snip]
>>>
>>>
>>> FWIW I believe John was suggesting you write some lit tests for DS-AA,
>>> not trying to run the test-suite (although that can be useful too).
>>
>>
>> Yes, I was suggesting that there be lit tests for ds-aa to help ensure
>> that it keeps working.
>>
>> -- John T.
>>
>
>
>
> --
> Jingyue Wu
> Department of Computer Science
> Columbia University
> New York, NY 10027
> http://www.cs.columbia.edu/~jingyue





Archive powered by MHonArc 2.6.16.

Top of Page