Fix PR #723: test(1) operator precedence inconsistent with POSIX

Make sure ksh builtin test and test(1) do not differ.
From Christiano Farina Haesbaert. ok miod@

1 files changed, 29 insertions, 6 deletions

diff --git a/bin/test/test.c b/bin/test/test.c
index 255426d9a06..8bf5e93a7d1 100644
--- a/bin/test/test.c
+++ b/bin/test/test.c
@@ -1,4 +1,4 @@
-/*	$OpenBSD: test.c,v 1.9 2006/04/25 04:39:04 deraadt Exp $	*/
+/*	$OpenBSD: test.c,v 1.10 2009/03/01 20:11:06 otto Exp $	*/
 /*	$NetBSD: test.c,v 1.15 1995/03/21 07:04:06 cgd Exp $	*/
 
 /*
@@ -12,7 +12,7 @@
  */
 
 #ifndef lint
-static char rcsid[] = "$OpenBSD: test.c,v 1.9 2006/04/25 04:39:04 deraadt Exp $";
+static char rcsid[] = "$OpenBSD: test.c,v 1.10 2009/03/01 20:11:06 otto Exp $";
 #endif
 
 #include <sys/types.h>
@@ -143,6 +143,7 @@ char **t_wp;
 struct t_op const *t_wp_op;
 
 static enum token t_lex(char *);
+static enum token t_lex_type(char *);
 static int oexpr(enum token n);
 static int aexpr(enum token n);
 static int nexpr(enum token n);
@@ -260,6 +261,16 @@ primary(enum token n)
 			syntax(NULL, "closing paren expected");
 		return res;
 	}
+	/*
+	 * We need this, if not binary operations with more than 4
+	 * arguments will always fall into unary.
+	 */
+	if(t_lex_type(t_wp[1]) == BINOP) {
+		t_lex(t_wp[1]);
+		if (t_wp_op && t_wp_op->op_type == BINOP)
+			return binop();
+	}
+
 	if (t_wp_op && t_wp_op->op_type == UNOP) {
 		/* unary expression */
 		if (*++t_wp == NULL)
@@ -276,10 +287,6 @@ primary(enum token n)
 		}
 	}
 
-	if (t_lex(t_wp[1]), t_wp_op && t_wp_op->op_type == BINOP) {
-		return binop();
-	}
-
 	return strlen(*t_wp) > 0;
 }
 
@@ -327,6 +334,22 @@ binop(void)
 	/* NOTREACHED */
 }
 
+static enum token
+t_lex_type(char *s)
+{
+	struct t_op const *op = ops;
+
+	if (s == NULL)
+		return -1;
+
+	while (op->op_text) {
+		if (strcmp(s, op->op_text) == 0)
+			return op->op_type;
+		op++;
+	}
+	return -1;
+}
+
 static int
 filstat(char *nm, enum token mode)
 {