Add support for Interlocked.Exchange

[BADF00D]

Prerequisites

• [x] I have written a descriptive issue title
• [x] I have verified that I am running the latest version of DisposableFixer: 1.4.0
• [x] I have searched open and closed issues to ensure it has not already been reported

Description

When using Interlocked.Exchange with an IDisposable instance, my IDisposable is tracked by the referenced field. If this is a field or property, then my IDisposable is tracked by this member. So there should be no hint, that the field disposable is not disposed.

Source Code

The following code shows an example for this kind of member assignment:

using System;
using System.IO;
using System.Threading;

namespace RxTimeoutTest
{
    internal class SomeClass : IDisposable
    {
        private IDisposable _field;

        public void Exchange()
        {
            var mem = new MemoryStream();

            Interlocked.Exchange(ref _field, mem)
                ?.Dispose();
        }

        public void Dispose()
        {
            _field?.Dispose();
        }
    }
}

Where the following code should yield a warning:

using System;
using System.IO;
using System.Threading;

namespace RxTimeoutTest
{
    internal class SomeClass
    {
        private IDisposable _field;

        public void Exchange()
        {
            var mem = new MemoryStream();

            Interlocked.Exchange(ref _field, mem)
                ?.Dispose();
        }
    }
}

Screenshot

[BADF00D]

There are mote test required: //Creation

• Interlocked.Exchange(ref _field, new MemorySream()).Dispose();
• Interlocked.Exchange(ref _field, CreateStream).Dispose();
• Interlocked.Exchange(ref _field, new MemorySream())?.Dispose();
• Interlocked.Exchange(ref _field, CreateStream)?.Dispose(); // Destroy
• Interlocked.Exchange(ref _field, null))?.Dispose();
• Interlocked.Exchange(ref _field, null)).Dispose(); //Assignment
• to field
• to property
• to local declaration

[BADF00D]

Will be part of release 1.5.0