Merge pull request #5544 from kumpera/verify_byref_return
authorRodrigo Kumpera <kumpera@users.noreply.github.com>
Tue, 12 Sep 2017 21:13:56 +0000 (17:13 -0400)
committerGitHub <noreply@github.com>
Tue, 12 Sep 2017 21:13:56 +0000 (17:13 -0400)
Implement verification of safe byref returns


Trivial merge