| commit | 14e702fb04daca8df516a68a1235d74565f18706 | |
| author | Stefan Zetzsche <zetzsche@fb.com> | |
| Thu, 11 Aug 2022 18:04:45 +0000 (11 11:04 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 11 Aug 2022 18:04:45 +0000 (11 11:04 -0700) | ||
| tree | f8717518d508a611080dbf5d558c7e4a9298bef6 | treesnapshot (tar.gz zip) |
| parent | 78ff7e27292cb1ca10f8b192a706aa0c1ccd85aa | commitdiff |
Solving inter-procedural constraints in shape-like-dict
Summary:
We instantiate our generic inter-procedural constraint solver with shape-like-dict. In particular, we implement the mode `SolveConstraints` and introduce a new mode `CloseConstraints`. Their semantics is as follows:
- `CloseConstraints`: Close -> Dump
- `SolveConstraints`: Close -> Simplify -> Dump
(Close denotes closure under substitution of function call constraints.)
Reviewed By: madgen
Differential Revision: D38540691
fbshipit-source-id: de882e0c391abfc239fa6c671ae2381f640a742a
Summary:
We instantiate our generic inter-procedural constraint solver with shape-like-dict. In particular, we implement the mode `SolveConstraints` and introduce a new mode `CloseConstraints`. Their semantics is as follows:
- `CloseConstraints`: Close -> Dump
- `SolveConstraints`: Close -> Simplify -> Dump
(Close denotes closure under substitution of function call constraints.)
Reviewed By: madgen
Differential Revision: D38540691
fbshipit-source-id: de882e0c391abfc239fa6c671ae2381f640a742a
47 files changed: