Handle failed type-assertions more gracefully (take three)
commit4a5cc341bcd2005cf4e6bcefb0db724d3950e44b
authorMark Williams <mwilliams@fb.com>
Thu, 4 Aug 2016 21:13:04 +0000 (4 14:13 -0700)
committerHhvm Bot <hhvm-bot-bot@fb.com>
Thu, 4 Aug 2016 21:31:49 +0000 (4 14:31 -0700)
tree9ba797cdbe756021827b055a91a1c7514fa257da
parenta2fc006f9546c049fca860d1214ba883db86d8fa
Handle failed type-assertions more gracefully (take three)

Summary:
Either our type tracking is broken, or the code is unreachable, so
spit out a Halt which should ensure that we crash if our type tracking
was broken.

Reviewed By: swtaarrs

Differential Revision: D3663541

fbshipit-source-id: 9680f4a4fb79470a49ffd7da50c9d596958dc928
hphp/runtime/vm/jit/inlining-decider.cpp
hphp/runtime/vm/jit/ir-builder.cpp
hphp/runtime/vm/jit/ir-unit.cpp
hphp/runtime/vm/jit/irlower-type.cpp
hphp/runtime/vm/jit/region-tracelet.cpp
hphp/runtime/vm/jit/simplify.cpp
hphp/runtime/vm/jit/translate-region.cpp
hphp/test/slow/compilation/unreachable-inlining.php [new file with mode: 0644]
hphp/test/slow/compilation/unreachable-inlining.php.expect [new file with mode: 0644]