test: fix parser to prefer binop over unop, as coreutils does.

remove bogus workaround in main(). rename atrocious variables/functions.
 much expand testsuite.
libbb: fix --help to not affect "test --help"

function                                             old     new   delta
run_applet_no_and_exit                               421     440     +19
nexpr                                                817     825      +8
static.no_op                                           -       6      +6
test_main                                            397     257    -140
------------------------------------------------------------------------------
(add/remove: 2/1 grow/shrink: 2/1 up/down: 104/-211)         Total: -107 bytes
This commit is contained in:
Denis Vlasenko 2008-07-19 08:15:13 +00:00
parent 5f116629d8
commit bd28f6bf7f
3 changed files with 268 additions and 83 deletions

View File

@ -47,6 +47,8 @@
operand ::= <any legal UNIX file name> operand ::= <any legal UNIX file name>
*/ */
#define TEST_DEBUG 0
enum token { enum token {
EOI, EOI,
FILRD, FILRD,
@ -95,6 +97,79 @@ enum token {
#define is_file_access(a) (((unsigned char)((a) - FILRD)) <= 2) #define is_file_access(a) (((unsigned char)((a) - FILRD)) <= 2)
#define is_file_type(a) (((unsigned char)((a) - FILREG)) <= 5) #define is_file_type(a) (((unsigned char)((a) - FILREG)) <= 5)
#define is_file_bit(a) (((unsigned char)((a) - FILSUID)) <= 2) #define is_file_bit(a) (((unsigned char)((a) - FILSUID)) <= 2)
#if TEST_DEBUG
int depth;
#define nest_msg(...) do { \
depth++; \
fprintf(stderr, "%*s", depth*2, ""); \
fprintf(stderr, __VA_ARGS__); \
} while (0)
#define unnest_msg(...) do { \
fprintf(stderr, "%*s", depth*2, ""); \
fprintf(stderr, __VA_ARGS__); \
depth--; \
} while (0)
#define dbg_msg(...) do { \
fprintf(stderr, "%*s", depth*2, ""); \
fprintf(stderr, __VA_ARGS__); \
} while (0)
#define unnest_msg_and_return(expr, ...) do { \
number_t __res = (expr); \
fprintf(stderr, "%*s", depth*2, ""); \
fprintf(stderr, __VA_ARGS__, res); \
depth--; \
return __res; \
} while (0)
static const char *const TOKSTR[] = {
"EOI",
"FILRD",
"FILWR",
"FILEX",
"FILEXIST",
"FILREG",
"FILDIR",
"FILCDEV",
"FILBDEV",
"FILFIFO",
"FILSOCK",
"FILSYM",
"FILGZ",
"FILTT",
"FILSUID",
"FILSGID",
"FILSTCK",
"FILNT",
"FILOT",
"FILEQ",
"FILUID",
"FILGID",
"STREZ",
"STRNZ",
"STREQ",
"STRNE",
"STRLT",
"STRGT",
"INTEQ",
"INTNE",
"INTGE",
"INTGT",
"INTLE",
"INTLT",
"UNOT",
"BAND",
"BOR",
"LPAREN",
"RPAREN",
"OPERAND"
};
#else
#define nest_msg(...) ((void)0)
#define unnest_msg(...) ((void)0)
#define dbg_msg(...) ((void)0)
#define unnest_msg_and_return(expr, ...) return expr
#endif
enum token_types { enum token_types {
UNOP, UNOP,
BINOP, BINOP,
@ -103,10 +178,12 @@ enum token_types {
PAREN PAREN
}; };
static const struct t_op { struct operator_t {
char op_text[4]; char op_text[4];
unsigned char op_num, op_type; unsigned char op_num, op_type;
} ops[] = { };
static const struct operator_t ops[] = {
{ "-r", FILRD , UNOP }, { "-r", FILRD , UNOP },
{ "-w", FILWR , UNOP }, { "-w", FILWR , UNOP },
{ "-x", FILEX , UNOP }, { "-x", FILEX , UNOP },
@ -152,16 +229,18 @@ static const struct t_op {
#if ENABLE_FEATURE_TEST_64 #if ENABLE_FEATURE_TEST_64
typedef int64_t arith_t; typedef int64_t number_t;
#else #else
typedef int arith_t; typedef int number_t;
#endif #endif
/* We try to minimize both static and stack usage. */ /* We try to minimize both static and stack usage. */
struct test_statics { struct test_statics {
char **t_wp; char **args;
const struct t_op *t_wp_op; /* set only by check_operator(), either to bogus struct
* or points to matching operator_t struct. Never NULL. */
const struct operator_t *last_operator;
gid_t *group_array; gid_t *group_array;
int ngroups; int ngroups;
jmp_buf leaving; jmp_buf leaving;
@ -171,8 +250,8 @@ struct test_statics {
extern struct test_statics *const test_ptr_to_statics; extern struct test_statics *const test_ptr_to_statics;
#define S (*test_ptr_to_statics) #define S (*test_ptr_to_statics)
#define t_wp (S.t_wp ) #define args (S.args )
#define t_wp_op (S.t_wp_op ) #define last_operator (S.last_operator)
#define group_array (S.group_array ) #define group_array (S.group_array )
#define ngroups (S.ngroups ) #define ngroups (S.ngroups )
#define leaving (S.leaving ) #define leaving (S.leaving )
@ -185,7 +264,7 @@ extern struct test_statics *const test_ptr_to_statics;
free(test_ptr_to_statics); \ free(test_ptr_to_statics); \
} while (0) } while (0)
static arith_t primary(enum token n); static number_t primary(enum token n);
static void syntax(const char *op, const char *msg) NORETURN; static void syntax(const char *op, const char *msg) NORETURN;
static void syntax(const char *op, const char *msg) static void syntax(const char *op, const char *msg)
@ -200,7 +279,7 @@ static void syntax(const char *op, const char *msg)
/* atoi with error detection */ /* atoi with error detection */
//XXX: FIXME: duplicate of existing libbb function? //XXX: FIXME: duplicate of existing libbb function?
static arith_t getn(const char *s) static number_t getn(const char *s)
{ {
char *p; char *p;
#if ENABLE_FEATURE_TEST_64 #if ENABLE_FEATURE_TEST_64
@ -253,11 +332,15 @@ static int equalf(const char *f1, const char *f2)
*/ */
static enum token t_lex(char *s) static enum token check_operator(char *s)
{ {
const struct t_op *op; static const struct operator_t no_op = {
.op_num = -1,
.op_type = -1
};
const struct operator_t *op;
t_wp_op = NULL; last_operator = &no_op;
if (s == NULL) { if (s == NULL) {
return EOI; return EOI;
} }
@ -265,7 +348,7 @@ static enum token t_lex(char *s)
op = ops; op = ops;
do { do {
if (strcmp(s, op->op_text) == 0) { if (strcmp(s, op->op_text) == 0) {
t_wp_op = op; last_operator = op;
return op->op_num; return op->op_num;
} }
op++; op++;
@ -278,14 +361,14 @@ static enum token t_lex(char *s)
static int binop(void) static int binop(void)
{ {
const char *opnd1, *opnd2; const char *opnd1, *opnd2;
struct t_op const *op; const struct operator_t *op;
arith_t val1, val2; number_t val1, val2;
opnd1 = *t_wp; opnd1 = *args;
(void) t_lex(*++t_wp); check_operator(*++args);
op = t_wp_op; op = last_operator;
opnd2 = *++t_wp; opnd2 = *++args;
if (opnd2 == NULL) if (opnd2 == NULL)
syntax(op->op_text, "argument expected"); syntax(op->op_text, "argument expected");
@ -482,72 +565,117 @@ static int filstat(char *nm, enum token mode)
} }
static arith_t nexpr(enum token n) static number_t nexpr(enum token n)
{ {
if (n == UNOT) number_t res;
return !nexpr(t_lex(*++t_wp));
return primary(n);
}
nest_msg(">nexpr(%s)\n", TOKSTR[n]);
static arith_t aexpr(enum token n) if (n == UNOT) {
{ res = !nexpr(check_operator(*++args));
arith_t res; unnest_msg("<nexpr:%lld\n", res);
return res;
res = nexpr(n);
if (t_lex(*++t_wp) == BAND)
return aexpr(t_lex(*++t_wp)) && res;
t_wp--;
return res;
}
static arith_t oexpr(enum token n)
{
arith_t res;
res = aexpr(n);
if (t_lex(*++t_wp) == BOR) {
return oexpr(t_lex(*++t_wp)) || res;
} }
t_wp--; res = primary(n);
unnest_msg("<nexpr:%lld\n", res);
return res; return res;
} }
static number_t aexpr(enum token n)
static arith_t primary(enum token n)
{ {
arith_t res; number_t res;
nest_msg(">aexpr(%s)\n", TOKSTR[n]);
res = nexpr(n);
dbg_msg("aexpr: nexpr:%lld, next args:%s\n", res, args[1]);
if (check_operator(*++args) == BAND) {
dbg_msg("aexpr: arg is AND, next args:%s\n", args[1]);
res = aexpr(check_operator(*++args)) && res;
unnest_msg("<aexpr:%lld\n", res);
return res;
}
args--;
unnest_msg("<aexpr:%lld, args:%s\n", res, args[0]);
return res;
}
static number_t oexpr(enum token n)
{
number_t res;
nest_msg(">oexpr(%s)\n", TOKSTR[n]);
res = aexpr(n);
dbg_msg("oexpr: aexpr:%lld, next args:%s\n", res, args[1]);
if (check_operator(*++args) == BOR) {
dbg_msg("oexpr: next arg is OR, next args:%s\n", args[1]);
res = oexpr(check_operator(*++args)) || res;
unnest_msg("<oexpr:%lld\n", res);
return res;
}
args--;
unnest_msg("<oexpr:%lld, args:%s\n", res, args[0]);
return res;
}
static number_t primary(enum token n)
{
#if TEST_DEBUG
number_t res = res; /* for compiler */
#else
number_t res;
#endif
const struct operator_t *args0_op;
nest_msg(">primary(%s)\n", TOKSTR[n]);
if (n == EOI) { if (n == EOI) {
syntax(NULL, "argument expected"); syntax(NULL, "argument expected");
} }
if (n == LPAREN) { if (n == LPAREN) {
res = oexpr(t_lex(*++t_wp)); res = oexpr(check_operator(*++args));
if (t_lex(*++t_wp) != RPAREN) if (check_operator(*++args) != RPAREN)
syntax(NULL, "closing paren expected"); syntax(NULL, "closing paren expected");
unnest_msg("<primary:%lld\n", res);
return res; return res;
} }
if (t_wp_op && t_wp_op->op_type == UNOP) {
/* coreutils 6.9 checks "is args[1] binop and args[2] exist?" first,
* do the same */
args0_op = last_operator;
/* last_operator = operator at args[1] */
if (check_operator(args[1]) != EOI) { /* if args[1] != NULL */
if (args[2]) {
// coreutils also does this:
// if (args[3] && args[0]="-l" && args[2] is BINOP)
// return binop(1 /* prepended by -l */);
if (last_operator->op_type == BINOP)
unnest_msg_and_return(binop(), "<primary: binop:%lld\n");
}
}
/* check "is args[0] unop?" second */
if (args0_op->op_type == UNOP) {
/* unary expression */ /* unary expression */
if (*++t_wp == NULL) if (args[1] == NULL)
syntax(t_wp_op->op_text, "argument expected"); // syntax(args0_op->op_text, "argument expected");
goto check_emptiness;
args++;
if (n == STREZ) if (n == STREZ)
return t_wp[0][0] == '\0'; unnest_msg_and_return(args[0][0] == '\0', "<primary:%lld\n");
if (n == STRNZ) if (n == STRNZ)
return t_wp[0][0] != '\0'; unnest_msg_and_return(args[0][0] != '\0', "<primary:%lld\n");
if (n == FILTT) if (n == FILTT)
return isatty(getn(*t_wp)); unnest_msg_and_return(isatty(getn(*args)), "<primary: isatty(%s)%lld\n", *args);
return filstat(*t_wp, n); unnest_msg_and_return(filstat(*args, n), "<primary: filstat(%s):%lld\n", *args);
} }
t_lex(t_wp[1]); /*check_operator(args[1]); - already done */
if (t_wp_op && t_wp_op->op_type == BINOP) { if (last_operator->op_type == BINOP) {
return binop(); /* args[2] is known to be NULL, isn't it bound to fail? */
unnest_msg_and_return(binop(), "<primary:%lld\n");
} }
check_emptiness:
return t_wp[0][0] != '\0'; unnest_msg_and_return(args[0][0] != '\0', "<primary:%lld\n");
} }
@ -555,7 +683,7 @@ int test_main(int argc, char **argv)
{ {
int res; int res;
const char *arg0; const char *arg0;
bool negate = 0; // bool negate = 0;
arg0 = bb_basename(argv[0]); arg0 = bb_basename(argv[0]);
if (arg0[0] == '[') { if (arg0[0] == '[') {
@ -599,6 +727,8 @@ int test_main(int argc, char **argv)
res = 1; res = 1;
goto ret; goto ret;
} }
#if 0
// Now it's fixed in the parser and should not be needed
if (LONE_CHAR(argv[0], '!') && argv[1]) { if (LONE_CHAR(argv[0], '!') && argv[1]) {
negate = 1; negate = 1;
//argc--; //argc--;
@ -609,10 +739,10 @@ int test_main(int argc, char **argv)
goto ret; goto ret;
} }
if (argv[2] && !argv[3]) { if (argv[2] && !argv[3]) {
t_lex(argv[1]); check_operator(argv[1]);
if (t_wp_op && t_wp_op->op_type == BINOP) { if (last_operator->op_type == BINOP) {
/* "test [!] arg1 <binary_op> arg2" */ /* "test [!] arg1 <binary_op> arg2" */
t_wp = &argv[0]; args = &argv[0];
res = (binop() == 0); res = (binop() == 0);
goto ret; goto ret;
} }
@ -624,14 +754,17 @@ int test_main(int argc, char **argv)
//argc++; //argc++;
argv--; argv--;
} }
t_wp = &argv[0]; #endif
res = !oexpr(t_lex(*t_wp)); args = &argv[0];
res = !oexpr(check_operator(*args));
if (*t_wp != NULL && *++t_wp != NULL) { if (*args != NULL && *++args != NULL) {
bb_error_msg("%s: unknown operand", *t_wp); /* TODO: example when this happens? */
bb_error_msg("%s: unknown operand", *args);
res = 2; res = 2;
} }
ret: ret:
DEINIT_S(); DEINIT_S();
return negate ? !res : res; // return negate ? !res : res;
return res;
} }

View File

@ -196,8 +196,12 @@ void lbb_prepare(const char *applet
#if ENABLE_FEATURE_INDIVIDUAL #if ENABLE_FEATURE_INDIVIDUAL
/* Redundant for busybox (run_applet_and_exit covers that case) /* Redundant for busybox (run_applet_and_exit covers that case)
* but needed for "individual applet" mode */ * but needed for "individual applet" mode */
if (argv[1] && strcmp(argv[1], "--help") == 0) if (argv[1] && !argv[2] && strcmp(argv[1], "--help") == 0) {
bb_show_usage(); /* Special case. POSIX says "test --help"
* should be no different from e.g. "test --foo". */
if (!ENABLE_TEST || strcmp(applet_name, "test") != 0)
bb_show_usage();
}
#endif #endif
} }
@ -715,8 +719,13 @@ void FAST_FUNC run_applet_no_and_exit(int applet_no, char **argv)
xfunc_error_retval = EXIT_FAILURE; xfunc_error_retval = EXIT_FAILURE;
applet_name = APPLET_NAME(applet_no); applet_name = APPLET_NAME(applet_no);
if (argc == 2 && !strcmp(argv[1], "--help")) if (argc == 2 && strcmp(argv[1], "--help") == 0) {
bb_show_usage(); /* Special case. POSIX says "test --help"
* should be no different from e.g. "test --foo". */
//TODO: just compare applet_no with APPLET_NO_test
if (!ENABLE_TEST || strcmp(applet_name, "test") != 0)
bb_show_usage();
}
if (ENABLE_FEATURE_SUID) if (ENABLE_FEATURE_SUID)
check_suid(applet_no); check_suid(applet_no);
exit(applet_main[applet_no](argc, argv)); exit(applet_main[applet_no](argc, argv));

View File

@ -5,22 +5,65 @@
. testing.sh . testing.sh
# testing "test name" "options" "expected result" "file input" "stdin" # testing "test name" "command" "expected result" "file input" "stdin"
# file input will be file called "input" # file input will be file called "input"
# test can create a file "actual" instead of writing to stdout # test can create a file "actual" instead of writing to stdout
# Need to call 'busybox test', otherwise shell builtin is used # Need to call 'busybox test', otherwise shell builtin is used
testing "test ! a = b -a ! c = c: should be false" \ testing "test: should be false (1)" \
"busybox test; echo \$?" \
"1\n" \
"" ""
testing "test '': should be false (1)" \
"busybox test ''; echo \$?" \
"1\n" \
"" ""
testing "test a: should be true (0)" \
"busybox test a; echo \$?" \
"0\n" \
"" ""
testing "test --help: should be true (0)" \
"busybox test --help; echo \$?" \
"0\n" \
"" ""
testing "test -f: should be true (0)" \
"busybox test -f; echo \$?" \
"0\n" \
"" ""
testing "test ! -f: should be false (1)" \
"busybox test ! -f; echo \$?" \
"1\n" \
"" ""
testing "test a = a: should be true (0)" \
"busybox test a = a; echo \$?" \
"0\n" \
"" ""
testing "test -lt = -gt: should be false (1)" \
"busybox test -lt = -gt; echo \$?" \
"1\n" \
"" ""
testing "test -f = a -o b: should be true (0)" \
"busybox test -f = a -o b; echo \$?" \
"0\n" \
"" ""
testing "test ! a = b -a ! c = c: should be false (1)" \
"busybox test ! a = b -a ! c = c; echo \$?" \ "busybox test ! a = b -a ! c = c; echo \$?" \
"1\n" \ "1\n" \
"" \ "" ""
"" \
testing "test ! a = b -a ! c = d: should be true" \ testing "test ! a = b -a ! c = d: should be true (0)" \
"busybox test ! a = b -a ! c = d; echo \$?" \ "busybox test ! a = b -a ! c = d; echo \$?" \
"0\n" \ "0\n" \
"" \ "" ""
"" \
exit $FAILCOUNT exit $FAILCOUNT