Check return types when returning inside try-finally
commit31bb0f748b805f1e7ff73694fc63ace3e7876e19
authorPaul Bissonnette <paulbiss@fb.com>
Fri, 7 Nov 2014 01:27:03 +0000 (6 17:27 -0800)
committerhhvm-bot <hhvm-bot@fb.com>
Fri, 7 Nov 2014 01:30:25 +0000 (6 17:30 -0800)
tree560353fd6981d80b4c47aefb0a2440083a3043bd
parent62635e33368c2d24afefe3f1c2c884044819b71b
Check return types when returning inside try-finally

Summary: Adds a VerifyRetType{C,V} for finally trampoline.

Fixes #3998

Reviewed By: @JoelMarcey

Differential Revision: D1660033

Signature: t1:1660033:1415294884:3426c5634ca6a09f8fcf74a2b50943ae8e1ac52b
hphp/compiler/analysis/emitter.cpp
hphp/test/slow/return_statement/finally-typecheck.php [new file with mode: 0644]
hphp/test/slow/return_statement/finally-typecheck.php.expectf [new file with mode: 0644]