protected override void SetAbstractValueForAssignment(AnalysisEntity targetAnalysisEntity, IOperation assignedValueOperation, CopyAbstractValue assignedValue) { if (assignedValue.AnalysisEntities.Contains(targetAnalysisEntity)) { // Dead assignment (assigning the same value). return; } base.SetAbstractValueForAssignment(targetAnalysisEntity, assignedValueOperation, assignedValue); CurrentAnalysisData.AssertValidCopyAnalysisData(); }