File tree 1 file changed +8
-4
lines changed
clang/lib/Analysis/FlowSensitive 1 file changed +8
-4
lines changed Original file line number Diff line number Diff line change @@ -27,12 +27,16 @@ static bool areEquivalentIndirectionValues(const Value &Val1,
27
27
}
28
28
29
29
bool areEquivalentValues (const Value &Val1, const Value &Val2) {
30
- if (&Val1 == &Val2) return true ;
31
- if (Val1.getKind () != Val2.getKind ()) return false ;
30
+ if (&Val1 == &Val2)
31
+ return true ;
32
+ if (Val1.getKind () != Val2.getKind ())
33
+ return false ;
32
34
// If values are distinct and have properties, we don't consider them equal,
33
35
// leaving equality up to the user model.
34
- if (!Val1.properties ().empty () || !Val2.properties ().empty ()) return false ;
35
- if (isa<TopBoolValue>(&Val1)) return true ;
36
+ if (!Val1.properties ().empty () || !Val2.properties ().empty ())
37
+ return false ;
38
+ if (isa<TopBoolValue>(&Val1))
39
+ return true ;
36
40
return areEquivalentIndirectionValues (Val1, Val2);
37
41
}
38
42
You can’t perform that action at this time.
0 commit comments