Merge pull request #5406 from kumpera/fix_12157
authorRodrigo Kumpera <kumpera@users.noreply.github.com>
Mon, 21 Aug 2017 20:18:31 +0000 (16:18 -0400)
committerGitHub <noreply@github.com>
Mon, 21 Aug 2017 20:18:31 +0000 (16:18 -0400)
commita04f104093e6de8a34aa66c806e36cad188e18e6
treec3eb2a9564d768956c8285f41e139da16c6f8c44
parentffc96812e17aad5baffbbcd9e270498a99ddc7ac
parent02ca93318b16d324fa6c36feacb88681175dee8b
Merge pull request #5406 from kumpera/fix_12157

[verifier] Base constructors can only be called on uninit'd this pointers. Fix #12157.