diff options
Diffstat (limited to 'src/passes/RemoveUnusedModuleElements.cpp')
| -rw-r--r-- | src/passes/RemoveUnusedModuleElements.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/passes/RemoveUnusedModuleElements.cpp b/src/passes/RemoveUnusedModuleElements.cpp index 9268232b4..7116475cd 100644 --- a/src/passes/RemoveUnusedModuleElements.cpp +++ b/src/passes/RemoveUnusedModuleElements.cpp @@ -132,7 +132,9 @@ struct ReachabilityAnalyzer : public PostWalker<ReachabilityAnalyzer> { // handle this automatically by the reference flowing out to an import, // which is what binaryen intrinsics look like. For now, to support use // cases of a closed world but that also use this intrinsic, handle the - // intrinsic specifically here. + // intrinsic specifically here. (Without that, the closed world assumption + // makes us ignore the function ref that flows to an import, so we are not + // aware that it is actually called.) auto* target = curr->operands.back(); if (auto* refFunc = target->dynCast<RefFunc>()) { // We can see exactly where this goes. |