svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] DSA and complete programs

From: "Ryan M. Lefever" <lefever AT illinois.edu>
To: svadev AT cs.uiuc.edu
Subject: [svadev] DSA and complete programs
Date: Mon, 11 Oct 2010 22:34:22 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>

If you have a full program, i.e., there are no external call sites. Am I correct that after running TD DSA, all nodes should be marked complete? It seams to me that marking a node complete is a function of reachability. In the case where no functions are external, you have full reachability information by propagating DSA info from callees to callers (BU) and then from callers to callees (TD, which requires BU).

Regards,
Ryan

[svadev] DSA and complete programs, Ryan M. Lefever, 10/11/2010
- Re: [svadev] DSA and complete programs, Will Dietz, 10/11/2010