Remove copy constructor (toArray is no longer needed)

SonarSource · Apr 18, 2023 · 74c570e · 74c570e
1 parent e65fbda
commit 74c570e
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/analyzers/src/SonarAnalyzer.Common/SymbolicExecution/Roslyn/ProgramState.cs b/analyzers/src/SonarAnalyzer.Common/SymbolicExecution/Roslyn/ProgramState.cs
@@ -52,16 +52,6 @@ private ProgramState()
             Exceptions = ImmutableStack<ExceptionState>.Empty;
         }
 
-        protected ProgramState(ProgramState original)   // Custom record override constructor to reset "toArray"
-        {
-            OperationValue = original.OperationValue;
-            SymbolValue = original.SymbolValue;
-            VisitCount = original.VisitCount;
-            CaptureOperation = original.CaptureOperation;
-            PreservedSymbols = original.PreservedSymbols;
-            Exceptions = original.Exceptions;
-        }
-
         public ProgramState SetOperationValue(IOperationWrapper operation, SymbolicValue value) =>
             operation is null
                 ? throw new ArgumentNullException(nameof(operation))