[DynInst_API:] Dyninst control flow graphing

["Wayne Motycka" <wmotycka@xxxxxxxxxxx>]

I've created a Dyninst-based tool that extracts the control flow graph
information and formats it for my own experiments in static analysis.  One
thing I've noticed however is that at times there appears to be more than
one block number associated with a particular source line (from the
BPatch_image object's getSourceLines() method) and I am at a loss to
explain why.  Anybody have any idea why this would be the case?

Thanks
Wayne Motycka
Univ. of Nebraska at Lincoln