| commit | 8f8846de2355de38237e041e9cbc4b4cd1253c98 | |
| author | Jan Oravec <jan@fb.com> | |
| Fri, 1 Jun 2018 21:49:01 +0000 (1 14:49 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Fri, 1 Jun 2018 21:59:09 +0000 (1 14:59 -0700) | ||
| tree | e35d394a775d4142db9778be05b5f2633b22dd28 | treesnapshot (tar.gz zip) |
| parent | 826940cb9e602285592606a5055006920258715a | commitdiff |
Fix refinement of TUninit and TRef in FPushObjMethodD
Summary:
The equivalent location may be TUninit. Do not remove it in the nullsafe case.
Implement TCell check for each visited location, not just for the first one,
which may be a cell on a stack that is equivalent to a local holding a ref.
Reviewed By: markw65
Differential Revision: D8234044
fbshipit-source-id: 6b00036319714c3466cc7d4b037d52e804e959ef
Summary:
The equivalent location may be TUninit. Do not remove it in the nullsafe case.
Implement TCell check for each visited location, not just for the first one,
which may be a cell on a stack that is equivalent to a local holding a ref.
Reviewed By: markw65
Differential Revision: D8234044
fbshipit-source-id: 6b00036319714c3466cc7d4b037d52e804e959ef
| hphp/hhbbc/interp.cpp | diffblobblamehistory |