check for memory initialization in source code

1 files changed, 7 insertions, 0 deletions

diff --git a/tests/runner.py b/tests/runner.py
index 1a483a46..561d8523 100755
--- a/tests/runner.py
+++ b/tests/runner.py
@@ -266,6 +266,13 @@ process(sys.argv[1])
     if output_processor is not None:
       output_processor(open(filename + '.o.js').read())
 
+    if self.emcc_args is not None:
+      if '--memory-init-file' in self.emcc_args:
+        memory_init_file = int(self.emcc_args[self.emcc_args.index('--memory-init-file')+1])
+      else:
+        memory_init_file = 1
+      assert ('/* memory initializer */' in open(filename + '.o.js').read()) == (not memory_init_file)
+
   def run_generated_code(self, engine, filename, args=[], check_timeout=True, output_nicerizer=None):
     stdout = os.path.join(self.get_dir(), 'stdout') # use files, as PIPE can get too full and hang us
     stderr = os.path.join(self.get_dir(), 'stderr')