Add getsockname shim for connecting and connected sockets

[WhySoBad]

Hi,

This pull request adds the getsockname shim for connecting and connected sockets. At the moment, we just return 0.0.0.0 in those cases but because connecting sockets are already locally bound we can just return the value from TcpStream::local_addr.

[rustbot]

Thank you for contributing to Miri! A reviewer will take a look at your PR, typically within a week or two.
Please remember to not force-push to the PR branch except when you need to rebase due to a conflict or when the reviewer asks you for it.

[RalfJung]

@rustbot author

View changes since this review

[RalfJung]

The socket API would let us bind before calling connect to set the local address, right?
But I guess that's not implemented yet / can't even be implemented with the mio API?

[WhySoBad]

Yes, the socket API allows to do this but we cannot represent this with mio because we only have TcpStream::connect there.

[rustbot]

Reminder, once the PR becomes ready for a review, use @rustbot ready.

[WhySoBad]

@rustbot ready

[RalfJung]

Next round :)
@rustbot author

View changes since this review

[rustbot]

This PR was rebased onto a different master commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.