+ /// This checks for global variables which should be upgraded. It returns true
+ /// if it requires upgrading.
+ bool UpgradeGlobalVariable(GlobalVariable *GV);
+
+ /// This function checks debug info intrinsics. If an intrinsic is invalid
+ /// then this function simply removes the intrinsic.
+ void CheckDebugInfoIntrinsics(Module *M);