summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: ca551bd) | patch
Add a verifier check to make sure T_unresolved does not get passed into FCall*nightly-2019.10.20
commit0e81f637a995e55290c41de5cd934a39e8d7d817
authorOguz Ulgen <[email protected]>
Sun, 20 Oct 2019 00:36:38 +0000 (19 17:36 -0700)
committerFacebook Github Bot <[email protected]>
Sun, 20 Oct 2019 00:38:14 +0000 (19 17:38 -0700)
treea5b51265ff206c4390b5ccd802d6981fa1373248tree | snapshot (tar.gz zip)
parentca551bdd299a7172e7157539406d342f14532853commit | diff
Add a verifier check to make sure T_unresolved does not get passed into FCall*

Summary: Let's make sure T_unresolved does not flow into FCall*

Reviewed By: paulbiss

Differential Revision: D18012245

fbshipit-source-id: 6f14c91a735867cb4a5e8fa77693d6eb0d4cd5a6
hphp/runtime/base/type-structure-helpers.cpp diff | blob | blame | history
hphp/runtime/base/type-structure-helpers.h diff | blob | blame | history
hphp/runtime/vm/verifier/check-func.cpp diff | blob | blame | history
hphp/test/slow/reified_generics/tunresolved-in-fcall.hhas [new file with mode: 0644] blob
hphp/test/slow/reified_generics/tunresolved-in-fcall.hhas.expectf [new file with mode: 0644] blob
hphp/test/slow/reified_generics/tunresolved-in-fcall.hhas.norepo [new file with mode: 0644] blob