diff options
| author | Alon Zakai <azakai@google.com> | 2023-01-03 16:44:13 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-03 16:44:13 -0800 |
| commit | 248f05ad7d44ff8fa4d0623baa988396d99d3b5a (patch) | |
| tree | 3b6cea5402c47372a8775c09549a030e9b613934 /src/passes/GlobalStructInference.cpp | |
| parent | ce267f5b800a906b9556657bf98ad92166d3f431 (diff) | |
| download | binaryen-248f05ad7d44ff8fa4d0623baa988396d99d3b5a.tar.gz binaryen-248f05ad7d44ff8fa4d0623baa988396d99d3b5a.tar.bz2 binaryen-248f05ad7d44ff8fa4d0623baa988396d99d3b5a.zip | |
[Wasm GC] Enforce closed-world in GlobalStructInference (#5385)
After making the pass error when not in closed world, some testcases
required changes. One forward-looking testcase can just be removed - the
point of it was to see what happens if a type escapes, and now closed-world
errors on it - and another testcase needed to avoid types on the boundary,
and to use anyref+casts.
Diffstat (limited to 'src/passes/GlobalStructInference.cpp')
| -rw-r--r-- | src/passes/GlobalStructInference.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/passes/GlobalStructInference.cpp b/src/passes/GlobalStructInference.cpp index 1444f8ad8..901a51a9f 100644 --- a/src/passes/GlobalStructInference.cpp +++ b/src/passes/GlobalStructInference.cpp @@ -75,6 +75,10 @@ struct GlobalStructInference : public Pass { return; } + if (!getPassOptions().closedWorld) { + Fatal() << "GSI requires --closed-world"; + } + // First, find all the information we need. We need to know which struct // types are created in functions, because we will not be able to optimize // those. |