diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/passes/Flatten.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/passes/Flatten.cpp b/src/passes/Flatten.cpp index 20d7cef23..39c97b133 100644 --- a/src/passes/Flatten.cpp +++ b/src/passes/Flatten.cpp @@ -24,6 +24,7 @@ #include <ir/effects.h> #include <ir/flat.h> #include <ir/properties.h> +#include <ir/type-updating.h> #include <ir/utils.h> #include <pass.h> #include <wasm-builder.h> @@ -316,6 +317,8 @@ struct Flatten } // the body may have preludes curr->body = getPreludesWithExpression(originalBody, curr->body); + // New locals we added may be non-nullable. + TypeUpdating::handleNonNullableLocals(curr, *getModule()); } private: |