From 8a475def9e3e21f780ebcf07dd607b26ceb00ea8 Mon Sep 17 00:00:00 2001 From: Denys Vlasenko Date: Tue, 18 Nov 2014 14:32:58 +0100 Subject: [PATCH] ash,hush: do not segfault on $((2**63 / -1)) Signed-off-by: Denys Vlasenko --- shell/math.c | 27 +++++++++++++++++++++++---- 1 file changed, 23 insertions(+), 4 deletions(-) diff --git a/shell/math.c b/shell/math.c index 3da151137..e7565ebf2 100644 --- a/shell/math.c +++ b/shell/math.c @@ -415,10 +415,29 @@ arith_apply(arith_state_t *math_state, operator op, var_or_num_t *numstack, var_ } else if (right_side_val == 0) return "divide by zero"; - else if (op == TOK_DIV || op == TOK_DIV_ASSIGN) - rez /= right_side_val; - else if (op == TOK_REM || op == TOK_REM_ASSIGN) - rez %= right_side_val; + else if (op == TOK_DIV || op == TOK_DIV_ASSIGN + || op == TOK_REM || op == TOK_REM_ASSIGN) { + /* + * bash 4.2.45 x86 64bit: SEGV on 'echo $((2**63 / -1))' + * + * MAX_NEGATIVE_INT / -1 = MAX_POSITIVE_INT+1 + * and thus is not representable. + * Some CPUs segfault trying such op. + * Others overfolw MAX_POSITIVE_INT+1 to + * MAX_NEGATIVE_INT (0x7fff+1 = 0x8000). + * Make sure to at least not SEGV here: + */ + if (right_side_val == -1 + && rez << 1 == 0 /* MAX_NEGATIVE_INT or 0 */ + ) { + right_side_val = 1; + } + if (op == TOK_DIV || op == TOK_DIV_ASSIGN) + rez /= right_side_val; + else { + rez %= right_side_val; + } + } } if (is_assign_op(op)) { -- 2.25.1