fix pretty bad bug in alias analysis

When a temporary marked local is escaping,
the whole slot must be marked as such.  To
solve this, Alias now holds a pointer to
the alias information of the slot.  For
simplicity of the code, this pointer is
always valid and fetching ->type out of it
is meaningful.

1 files changed, 1 insertions, 0 deletions

diff --git a/all.h b/all.h
index b073124..128d16c 100644
--- a/all.h
+++ b/all.h
@@ -391,6 +391,7 @@ struct Alias {
 	Ref base;
 	char label[NString];
 	int64_t offset;
+	Alias *slot;
 };
 
 struct Tmp {