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)
commit3e268fb9de0ceaabb70ab6e011777365fa6a93c4
tree21511f9896e2c5eb3f177882f626039c32fa082a
parent2b15ada1a1ad25ece63393c2ba40e5d9877b35a7
parent41be53b107c3e0d0a3d0edaa9cac627083a32be8
Merge pull request #5544 from kumpera/verify_byref_return

Implement verification of safe byref returns