Add ReturnType(ret) so we can more accurately track return values for

`if` statements

1 files changed, 4 insertions, 0 deletions

diff --git a/types.h b/types.h
index 6d667c31..3debb575 100644
--- a/types.h
+++ b/types.h
@@ -39,6 +39,7 @@ struct type_s {
     enum {
         UnknownType,
         AbortType,
+        ReturnType,
         VoidType,
         MemoryType,
         BoolType,
@@ -61,6 +62,9 @@ struct type_s {
         struct {
         } UnknownType, AbortType, VoidType, MemoryType, BoolType;
         struct {
+            type_t *ret;
+        } ReturnType;
+        struct {
             int64_t bits;
         } IntType;
         struct {