From: ceriel <none@none>
Date: Wed, 30 May 1990 11:31:32 +0000 (+0000)
Subject: fix: IL sometimes removed procedures that could be called indirectly
X-Git-Tag: release-5-5~1700
X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=82b0ef795de128dce74191baf34d26fb389eb505;p=ack.git

fix: IL sometimes removed procedures that could be called indirectly
---

diff --git a/util/ego/cf/cf.c b/util/ego/cf/cf.c
index fe4be6138..806ddd2bc 100644
--- a/util/ego/cf/cf.c
+++ b/util/ego/cf/cf.c
@@ -115,6 +115,26 @@ STATIC short kind(lnp)
 }
 
 
+STATIC line_p doread_line(p_out)
+	proc_p *p_out;
+{
+	/* read a line, and check pseudos for procedure addresses */
+
+	register line_p lnp = read_line(p_out);
+
+	if (lnp && TYPE(lnp) == OPLIST && INSTR(lnp) != ps_mes) {
+		register arg_p arg = ARG(lnp);
+		
+		while (arg) {
+			if (arg->a_type == ARGPROC) {
+				Cadd(arg->a_a.a_proc->p_id, &lpi_set);
+				arg->a_a.a_proc->p_flags1 |= PF_LPI;
+			}
+			arg = arg->a_next;
+		}
+	}
+	return lnp;
+}
 
 STATIC bool getbblocks(fp,kind_out,n_out,g_out,l_out)
 	FILE *fp;
@@ -149,7 +169,7 @@ STATIC bool getbblocks(fp,kind_out,n_out,g_out,l_out)
 				/* The lbmap table contains for each
 				 * label_id the basic block of that label.
 				 */
-				lnp = read_line(&curproc);
+				lnp = doread_line(&curproc);
 				state = kind(lnp);
 				if (state != END) {
 					*lp = lnp;
@@ -157,7 +177,7 @@ STATIC bool getbblocks(fp,kind_out,n_out,g_out,l_out)
 				}
 				break;
 			case NORMAL:
-				lnp = read_line(&curproc);
+				lnp = doread_line(&curproc);
 				if ( (state = kind(lnp)) == LABEL) {
 					/* If we come accross a label
 					 * here, it must be the beginning
@@ -172,7 +192,7 @@ STATIC bool getbblocks(fp,kind_out,n_out,g_out,l_out)
 				}
 				break;
 			case JUMP:
-				lnp = read_line(&curproc);
+				lnp = doread_line(&curproc);
 				/* fall through ... */
 			case AFTERPRO:
 				switch(state = kind(lnp)) {
@@ -201,7 +221,7 @@ STATIC bool getbblocks(fp,kind_out,n_out,g_out,l_out)
 				}
 				return TRUE;
 			case INIT:
-				lnp = read_line(&curproc);
+				lnp = doread_line(&curproc);
 				if (feof(curinp)) return FALSE;
 				if (INSTR(lnp) == ps_pro) {
 					state = AFTERPRO;