summaryrefslogtreecommitdiff
path: root/test/example/c-api-kitchen-sink.c
diff options
context:
space:
mode:
Diffstat (limited to 'test/example/c-api-kitchen-sink.c')
-rw-r--r--test/example/c-api-kitchen-sink.c9
1 files changed, 9 insertions, 0 deletions
diff --git a/test/example/c-api-kitchen-sink.c b/test/example/c-api-kitchen-sink.c
index cb156c7c1..28e784a05 100644
--- a/test/example/c-api-kitchen-sink.c
+++ b/test/example/c-api-kitchen-sink.c
@@ -287,6 +287,15 @@ void test_types() {
printf("BinaryenPackedTypeInt8: %d\n", i8);
BinaryenPackedType i16 = BinaryenPackedTypeInt16();
printf("BinaryenPackedTypeInt16: %d\n", i16);
+
+ BinaryenHeapType eq = BinaryenTypeGetHeapType(eqref);
+ BinaryenType ref_null_eq = BinaryenTypeFromHeapType(eq, true);
+ assert(BinaryenTypeGetHeapType(ref_null_eq) == eq);
+ assert(BinaryenTypeIsNullable(ref_null_eq));
+ BinaryenType ref_eq = BinaryenTypeFromHeapType(eq, false);
+ assert(ref_eq != ref_null_eq);
+ assert(BinaryenTypeGetHeapType(ref_eq) == eq);
+ assert(!BinaryenTypeIsNullable(ref_eq));
}
void test_features() {