Skip to content

Instantly share code, notes, and snippets.

@alexcrichton

alexcrichton/foo.diff

Created June 25, 2020 20:56
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save alexcrichton/fe9a5aff25cdcf943234f433babbb55e to your computer and use it in GitHub Desktop.
Save alexcrichton/fe9a5aff25cdcf943234f433babbb55e to your computer and use it in GitHub Desktop.
Download ZIP
Raw
foo.diff
--- before 2020-06-25 13:55:56.943297377 -0700
+++ after 2020-06-25 13:56:35.715449471 -0700
@@ -1,8 +1,8 @@
if value != null:
value.ref_count += 1
let current_elem = table[index]
+table[index] = value
if current_elem != null:
current_elem.ref_count -= 1
if current_elem.ref_count == 0:
- call drop_externref_in_place(current_elem)
-table[index] = value
+ call drop_externref_ptr(current_elem)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment