/// any specific context knowledge. For example, if the function is known
/// to be readonly, this would be set to 'ref'. If known to be readnone,
/// this is set to NoModRef.
- AliasAnalysis::ModRefResult UniversalBehavior;
-
+ ModRefInfo UniversalBehavior;
+
/// LocationMRInfo - This pair captures info about whether a specific
/// location is modified or referenced by a libcall.
struct LocationMRInfo {
/// LocationID - ID # of the accessed location or ~0U for array end.
unsigned LocationID;
/// MRInfo - Mod/Ref info for this location.
- AliasAnalysis::ModRefResult MRInfo;
+ ModRefInfo MRInfo;
};
/// DetailsType - Indicate the sense of the LocationDetails array. This