search for: nspass

...mogeneous, then an easier method would be to modify > poolinit() to pass an argument containing DSNode information (such as > a flag indicating type-homogeneity). > > -- John T. I've thought of trying to do that, but that solution is really too ugly to live. I need this because NSPASS (my project) runs after DSA but before pool allocation and generates a list of DSNodes with a special property. Then, TPPA (still my project) needs to iterate over every pool, which it does by iterating over the uses of poolinit, and figure out whether that pool needs to be annotated in a spec...

Patrick Simmons wrote: > Thanks for all your help so far. > > My problem is that what I have are the pool descriptors, which I by > traversing the uses of poolinit and accessing the first argument of each > call. I need to find the DSNode (in the original function) to which > this pool descriptor corresponds. The rub is that this pool descriptor > of course does not

Thanks for all your help so far. My problem is that what I have are the pool descriptors, which I by traversing the uses of poolinit and accessing the first argument of each call. I need to find the DSNode (in the original function) to which this pool descriptor corresponds. The rub is that this pool descriptor of course does not exist except in the clone. If I call getFuncInfo(), I get a