| commit | 94c38449779095043a00edf19d7e231cdacff2de | |
| author | Vassil Mladenov <vmladenov@fb.com> | |
| Wed, 13 May 2020 05:17:36 +0000 (12 22:17 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 13 May 2020 05:29:00 +0000 (12 22:29 -0700) | ||
| tree | 450cb4041546af51cb3bf5f0d4293b64d45c7623 | treesnapshot (tar.gz zip) |
| parent | ac8c21ff4dd66c94a45dd516051f5e32c7431cc0 | commitdiff |
Split error codes for read/write on array access and object access
Summary: This diff splits the codes for read and write on certain array access and object access expressions so that the former can be tracked and eliminated. The motivation is that when there's a error on a read that is fixme'd, it generates a Tany (Terr) that flows into other types in a function body.
Reviewed By: Wilfred
Differential Revision: D21421657
fbshipit-source-id: ed89bc6cd81c124f40b84c269109ca76f4e56290
Summary: This diff splits the codes for read and write on certain array access and object access expressions so that the former can be tracked and eliminated. The motivation is that when there's a error on a read that is fixme'd, it generates a Tany (Terr) that flows into other types in a function body.
Reviewed By: Wilfred
Differential Revision: D21421657
fbshipit-source-id: ed89bc6cd81c124f40b84c269109ca76f4e56290
15 files changed: