git: 9front

Info  •  Files  •  Log  •  Branches

cc: catch non constant pointer initializers

char	FOO[] = "abc";	/* ok */
char	*BAR = FOO;		/* ok */
char	*BAZ = BAR;		/* wrong */

--- a/sys/src/cmd/cc/dcl.c

+++ b/sys/src/cmd/cc/dcl.c

@@ -381,8 +381,14 @@

 				diag(a, "initialization of incompatible pointers: %s\n%T and %T",

 					s->name, t, a->type);

 			}

-			if(a->op == OADDR)

+			if(a->op == OADDR) {

 				a = a->left;

+				goto gext;

+			}

+			if(a->type->etype == TIND) {

+				diag(a, "initializer is not a constant: %s", s->name);

+				return Z;

+			}

 			goto gext;

 		}

-- 

⑨