search for: isreadnode

...n and the intermediate callee, the global is not accessed and its DSNode is simply "I", without a type. An error manifests itself in DataStructureAA, as the intermediate function's BottomUp DSNode is used to check for Mod/Ref info (using the RangeIt, then isModifiedNode() and isReadNode()). But the intermediate function's DSNode is simply "I", so no Mod/Ref is reported. This is erroneous; the global is Mod&Ref at the call site. I am not sure whether there is an error in either ds-aa or in BottomUpDSA. I have reduced the program down to a simpler test case...