Add an Asyncify option to propagate the addList (#5935)

The new asyncify flag --pass-arg=asyncify-propagate-addlist changes the
behavior of --pass-arg=asyncify-addlist : with it, callers of functions in the
asyncify-addlist will be also instrumented.

1 files changed, 9 insertions, 0 deletions

diff --git a/test/unit/test_asyncify.py b/test/unit/test_asyncify.py
index c9e0364be..7425173e2 100644
--- a/test/unit/test_asyncify.py
+++ b/test/unit/test_asyncify.py
@@ -75,6 +75,15 @@ class AsyncifyTest(utils.BinaryenTestCase):
         test('remove')
         test('add')
 
+    def test_asyncify_addlist_and_removelist(self):
+        args = shared.WASM_OPT + [self.input_path('asyncify-pure.wat'),
+                                  '--asyncify',
+                                  '--pass-arg=asyncify-addlist@main',
+                                  '--pass-arg=asyncify-removelist@main']
+        proc = shared.run_process(args, stdout=subprocess.PIPE, stderr=subprocess.STDOUT, check=False)
+        self.assertNotEqual(proc.returncode, 0, 'must error on using both lists at once')
+        self.assertIn('main is found in the add-list and in the remove-list', proc.stdout)
+
     def test_asyncify_imports(self):
         def test(args):
             return shared.run_process(shared.WASM_OPT + [self.input_path('asyncify-sleep.wat'), '--asyncify', '--print'] + args, stdout=subprocess.PIPE).stdout