Warning C26404

Do not delete an owner<T> which may be in invalid state (r.3)

Remarks

Once an owner pointer releases or transfers its resource, it gets into an "invalid" state. Deleting such a pointer may lead to immediate memory corruption due to double delete, or to an access violation when the deleted resource is accessed from another owner pointer.

Code analysis name: DONT_DELETE_INVALID

Example 1

Deleting an owner after transferring its value:

gsl::owner<State*> validState = nullptr; gsl::owner<State*> state = ReadState(); validState = state; if (!IsValid(state)) delete state; // C26404 

Example 2

Deleting an uninitialized owner:

gsl::owner<Message*> message; if (popLast) message = ReleaseMessage(); delete message; // C26404