[TSAR, Analysis] Adopt to master.

Author: VolandTymim

lib/Analysis/Memory/RestrictionArgumentsPass.cpp

@@ -782,8 +782,6 @@ bool RestrictionArgumentsPass::runOnModule(Module& M) {
 
   for (auto& FInfo : RestrictFunctionsInfo) {
     auto F = FInfo.first;
-//    auto& Args = FInfo.second;
-//    std::set<int> orderedArgs(Args.begin(), Args.end());
     for (auto ArgIdx : FInfo.second) {
       F->addParamAttr(ArgIdx, Attribute::NoAlias);
     }

lib/Core/Query.cpp

@@ -172,6 +172,7 @@ void addAfterFunctionInlineAnalysis(
 
 void addAfterLoopRotateAnalysis(legacy::PassManager &Passes) {
   Passes.add(createPassBarrier());
+  Passes.add(createRestrictionArgumentsPass());
   Passes.add(
       createProcessDIMemoryTraitPass(markIf<trait::Lock, trait::HeaderAccess>));
   Passes.add(createLoopRotatePass());