1// SPDX-License-Identifier: GPL-2.0 2/* 3 * (C) Copyright 2021 4 * Francis Laniel, Amarula Solutions, francis.laniel@amarulasolutions.com 5 */ 6 7#include <command.h> 8#include <env_attr.h> 9#include <test/hush.h> 10#include <test/ut.h> 11#include <asm/global_data.h> 12 13static int hush_test_semicolon(struct unit_test_state *uts) 14{ 15 /* A; B = B truth table. */ 16 ut_asserteq(1, run_command("false; false", 0)); 17 ut_assertok(run_command("false; true", 0)); 18 ut_assertok(run_command("true; true", 0)); 19 ut_asserteq(1, run_command("true; false", 0)); 20 21 return 0; 22} 23HUSH_TEST(hush_test_semicolon, 0); 24 25static int hush_test_and(struct unit_test_state *uts) 26{ 27 /* A && B truth table. */ 28 ut_asserteq(1, run_command("false && false", 0)); 29 ut_asserteq(1, run_command("false && true", 0)); 30 ut_assertok(run_command("true && true", 0)); 31 ut_asserteq(1, run_command("true && false", 0)); 32 33 return 0; 34} 35HUSH_TEST(hush_test_and, 0); 36 37static int hush_test_or(struct unit_test_state *uts) 38{ 39 /* A || B truth table. */ 40 ut_asserteq(1, run_command("false || false", 0)); 41 ut_assertok(run_command("false || true", 0)); 42 ut_assertok(run_command("true || true", 0)); 43 ut_assertok(run_command("true || false", 0)); 44 45 return 0; 46} 47HUSH_TEST(hush_test_or, 0); 48 49DECLARE_GLOBAL_DATA_PTR; 50 51static int hush_test_and_or(struct unit_test_state *uts) 52{ 53 /* A && B || C truth table. */ 54 ut_asserteq(1, run_command("false && false || false", 0)); 55 56 if (gd->flags & GD_FLG_HUSH_OLD_PARSER) { 57 ut_asserteq(1, run_command("false && false || true", 0)); 58 } else if (gd->flags & GD_FLG_HUSH_MODERN_PARSER) { 59 /* 60 * This difference seems to come from a bug solved in Busybox 61 * hush. 62 * 63 * Indeed, the following expression can be seen like this: 64 * (false && false) || true 65 * So, (false && false) returns 1, the second false is not 66 * executed, and true is executed because of ||. 67 */ 68 ut_assertok(run_command("false && false || true", 0)); 69 } 70 71 if (gd->flags & GD_FLG_HUSH_OLD_PARSER) { 72 ut_asserteq(1, run_command("false && true || true", 0)); 73 } else if (gd->flags & GD_FLG_HUSH_MODERN_PARSER) { 74 /* 75 * This difference seems to come from a bug solved in Busybox 76 * hush. 77 * 78 * Indeed, the following expression can be seen like this: 79 * (false && true) || true 80 * So, (false && true) returns 1, the true is not executed, and 81 * true is executed because of ||. 82 */ 83 ut_assertok(run_command("false && true || true", 0)); 84 } 85 86 ut_asserteq(1, run_command("false && true || false", 0)); 87 ut_assertok(run_command("true && true || false", 0)); 88 ut_asserteq(1, run_command("true && false || false", 0)); 89 ut_assertok(run_command("true && false || true", 0)); 90 ut_assertok(run_command("true && true || true", 0)); 91 92 return 0; 93} 94HUSH_TEST(hush_test_and_or, 0); 95 96static int hush_test_or_and(struct unit_test_state *uts) 97{ 98 /* A || B && C truth table. */ 99 ut_asserteq(1, run_command("false || false && false", 0)); 100 ut_asserteq(1, run_command("false || false && true", 0)); 101 ut_assertok(run_command("false || true && true", 0)); 102 ut_asserteq(1, run_command("false || true && false", 0)); 103 104 if (gd->flags & GD_FLG_HUSH_OLD_PARSER) { 105 ut_assertok(run_command("true || true && false", 0)); 106 } else if (gd->flags & GD_FLG_HUSH_MODERN_PARSER) { 107 /* 108 * This difference seems to come from a bug solved in Busybox 109 * hush. 110 * 111 * Indeed, the following expression can be seen like this: 112 * (true || true) && false 113 * So, (true || true) returns 0, the second true is not 114 * executed, and then false is executed because of &&. 115 */ 116 ut_asserteq(1, run_command("true || true && false", 0)); 117 } 118 119 if (gd->flags & GD_FLG_HUSH_OLD_PARSER) { 120 ut_assertok(run_command("true || false && false", 0)); 121 } else if (gd->flags & GD_FLG_HUSH_MODERN_PARSER) { 122 /* 123 * This difference seems to come from a bug solved in Busybox 124 * hush. 125 * 126 * Indeed, the following expression can be seen like this: 127 * (true || false) && false 128 * So, (true || false) returns 0, the false is not executed, and 129 * then false is executed because of &&. 130 */ 131 ut_asserteq(1, run_command("true || false && false", 0)); 132 } 133 134 ut_assertok(run_command("true || false && true", 0)); 135 ut_assertok(run_command("true || true && true", 0)); 136 137 return 0; 138} 139HUSH_TEST(hush_test_or_and, 0); 140