[TSAR, Memory, Dep] Fix, set "no redundant" if alias node owns at least one location with this trait.

Author: kaniandr

lib/Analysis/Memory/DIDependenceAnalysis.cpp

@@ -602,6 +602,9 @@ void combineTraits(bool IgnoreRedundant, DIAliasTrait &DIATrait) {
     if (!(DIMTraitItr->is<trait::Redundant>() &&
           DIATrait.getNode() == DIMTraitItr->getMemory()->getAliasNode()))
       DIATrait.unset<trait::Redundant>();
+    if (!(DIMTraitItr->is<trait::NoRedundant>() &&
+          DIATrait.getNode() == DIMTraitItr->getMemory()->getAliasNode()))
+      DIATrait.unset<trait::NoRedundant>();
     if (IgnoreRedundant && DIMTraitItr->is<trait::Redundant>()) {
       DIATrait.set<trait::NoAccess>();
       DIATrait.unset<trait::HeaderAccess, trait::AddressAccess>();

test/analysis/da_di/address_6.c

@@ -21,6 +21,8 @@ int foo() {
 //CHECK:     <I:8[8:3], 4>:[Int,0,10,1]
 //CHECK:    reduction:
 //CHECK:     <S:6, 4>:mult
+//CHECK:    no promoted scalar:
+//CHECK:     <X:6:7, ?>
 //CHECK:    lock:
 //CHECK:     <I:8[8:3], 4> | <X:6:7, ?>
 //CHECK:    header access:

test/analysis/da_di/interproc_5.c

@@ -25,7 +25,7 @@ int bar(int N, float * restrict A) {
 //CHECK:    header access:
 //CHECK:     <I:2[2:4], 4>
 //CHECK:    explicit access:
-//CHECK:     <A:1, 8> | <I:2[2:4], 4> | <X:1, 8>
+//CHECK:     <*X:1, 8> | <A:1, 8> | <I:2[2:4], 4> | <X:1, 8>
 //CHECK:    explicit access (separate):
 //CHECK:     <*X:1, 8> <A:1, 8> <I:2[2:4], 4> <X:1, 8>
 //CHECK:    lock (separate):

test/analysis/da_di/interproc_6.c

@@ -30,7 +30,7 @@ int bar(int N, float * restrict A) {
 //CHECK:    header access:
 //CHECK:     <I:2[2:4], 4>
 //CHECK:    explicit access:
-//CHECK:     <A:1, 8> | <I:2[2:4], 4> | <X:1, 8>
+//CHECK:     <*X:1, 8> | <A:1, 8> | <I:2[2:4], 4> | <X:1, 8>
 //CHECK:    explicit access (separate):
 //CHECK:     <*X:1, 8> <A:1, 8> <I:2[2:4], 4> <X:1, 8>
 //CHECK:    lock (separate):