| commit | 56b85db5b86cdea96e3cfbae0bd2eb3b210163c9 | |
| author | Oguz Ulgen <oulgen@fb.com> | |
| Tue, 9 Feb 2021 22:22:13 +0000 (9 14:22 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 9 Feb 2021 22:28:08 +0000 (9 14:28 -0800) | ||
| tree | 45c6d879921663c42a2e0e828fb78f44fb96313e | treesnapshot (tar.gz zip) |
| parent | 9e1544f16d0bde710bc96353d14c71e6a65fb61b | commitdiff |
Move pure/rx verify booleans to FuncChecker
Summary: Avoid the complexity of this logic from being O(num_blocks * num_coeffects) by moving them into FuncChecker.
Reviewed By: jano
Differential Revision: D26327570
fbshipit-source-id: b33e05afc3610e7bb742915b944724db540c679e
Summary: Avoid the complexity of this logic from being O(num_blocks * num_coeffects) by moving them into FuncChecker.
Reviewed By: jano
Differential Revision: D26327570
fbshipit-source-id: b33e05afc3610e7bb742915b944724db540c679e
| hphp/runtime/vm/verifier/check-func.cpp | diffblobblamehistory |