Mistakes were made

llvm/lib/Analysis/TSanMPIOptimizer.cpp

@@ -149,7 +149,8 @@ int TSanMPIOptimizerAnalysis::recurseGenerateWhitelist(SharedResource V, Recurse
                     addUnique(NewSet, NewVal);
                 } else {
                     if (!U.getUser()) continue;
-                    if (AA.alias(U.getUser(), WorkingSet[i].V.V) != AliasResult::NoAlias) {
+                    for (SharedResource ShRes : SharedResources) { // Finally, check if some Value may be aliased to some ShRes, and, if it is, Mark and recurse
+                        if (AA.alias(U.getUser(),ShRes.V) != AliasResult::NoAlias) {
                             RecurseValue NewVal = CREATE_RECVAL(U.getUser());
                             addUnique(NewSet, NewVal);
                             break;
@@ -157,6 +158,7 @@ int TSanMPIOptimizerAnalysis::recurseGenerateWhitelist(SharedResource V, Recurse
                     }
                 }
             }
+        }
         count += WorkingSet.size();
         WorkingSet.clear();
         WorkingSet = NewSet;