svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] dsnode types

From: John Criswell <criswell AT illinois.edu>
To: Daniel Huang <dan.e.huang AT gmail.com>
Cc: "<svadev AT cs.illinois.edu>" <svadev AT cs.illinois.edu>
Subject: Re: [svadev] dsnode types
Date: Sun, 17 Feb 2013 16:21:56 -0600
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
List-id: <svadev.cs.uiuc.edu>

On 02/16/13 13:55, Daniel Huang wrote:

Hi Svadev,

I am seeing DSNodes that have no type information, yet are not marked as completely folded or unknown.

Dan, when you say that the DSNode has "no type information," what do you mean by that? Do you mean that it has no types recorded at any offset?

I suppose it is possible to have such a memory object; if a memory object is never accessed via a load, store, or memory-accessing intrinsic (e.g., memcpy), then I suppose it could be complete, unfolded, and yet have no types recorded at any offset. However, I would expect such a DSNode to be very rare.

Do you have a small test case which produces this behavior?

-- John T.

What is the interpretation of the types of the objects stored in those pools?

Thanks,

Dan

_______________________________________________
svadev mailing list
svadev AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/svadev

[svadev] dsnode types, Daniel Huang, 02/16/2013
- Re: [svadev] dsnode types, John Criswell, 02/17/2013