diff options
Diffstat (limited to 'src/wasm.h')
| -rw-r--r-- | src/wasm.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/wasm.h b/src/wasm.h index 700938ef9..2171eeb12 100644 --- a/src/wasm.h +++ b/src/wasm.h @@ -924,6 +924,13 @@ public: std::vector<UserSection> userSections; std::vector<std::string> debugInfoFileNames; + // `features` are the features allowed to be used in this module and should be + // respected regardless of the value of`hasFeaturesSection`. + // `hasFeaturesSection` means we read a features section and will emit one + // too. + FeatureSet features = FeatureSet::All; + bool hasFeaturesSection = false; + MixedArena allocator; private: |