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)
[verifier] Base constructors can only be called on uninit'd this pointers. Fix #12157.


Trivial merge