Add copy constructor to reset "Lazy"

SonarSource · Mar 21, 2023 · 938f272 · 938f272
1 parent f4f2e29
commit 938f272
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/analyzers/src/SonarAnalyzer.Common/SymbolicExecution/Roslyn/SymbolicValue.cs b/analyzers/src/SonarAnalyzer.Common/SymbolicExecution/Roslyn/SymbolicValue.cs
@@ -38,16 +38,22 @@ public sealed record SymbolicValue
         public static readonly SymbolicValue False = NotNull.WithConstraint(BoolConstraint.False);
 
         // SymbolicValue can have only one constraint instance of specific type at a time
-        private ImmutableDictionary<Type, SymbolicConstraint> Constraints { get; init; } = ImmutableDictionary<Type, SymbolicConstraint>.Empty;
+        private ImmutableDictionary<Type, SymbolicConstraint> Constraints { get; init; }
 
         public IEnumerable<SymbolicConstraint> AllConstraints =>
             Constraints.Values;
 
-        public SymbolicValue()
+        public SymbolicValue() : this(null)
         {
             hashCode = new(() => HashCode.DictionaryContentHash(Constraints), LazyThreadSafetyMode.ExecutionAndPublication);
         }
 
+        private SymbolicValue(SymbolicValue other)
+        {
+            Constraints = other?.Constraints ?? ImmutableDictionary<Type, SymbolicConstraint>.Empty;
+            hashCode = new(() => HashCode.DictionaryContentHash(Constraints), LazyThreadSafetyMode.ExecutionAndPublication);
+        }
+
         public override string ToString() =>
             SerializeConstraints();