Svadev mailing list

[Matthew Wala <wala1 AT illinois.edu>]

Hi everyone:
I've been trying to move code that uses DSA from the StringTransform
module into the CompleteChecks pass (I discussed doing this with John
on Thursday). The StringTransform module currently uses DSA to
determine the completeness of the string arguments before passing them
into transformed function calls. When DSA says nodes are complete when
computed in StringTransform, after the string function calls are
transformed I try to compute the same information in CompleteChecks
and get that the nodes are marked external. Is this because DSA treats
the transformed functions as external functions? I'm not sure, but if
it is, how do I fix this?

(On a side note: To get what I wanted to do above, I had to reorder
the execution of StringTransform so that it comes before
CompleteChecks. Would that break anything?)

Matt