[arith] Add 'shopt -s parse_empty_arith' for compatibility.

Author: akinomyoga

frontend/option_def.py

@@ -232,6 +232,7 @@ def _Init(opt_def):
   # TODO: Rename eval_unsafe_arith
   opt_def.Add('eval_unsafe_arith')  # recursive parsing and evaluation (ble.sh)
   opt_def.Add('parse_dynamic_arith')  # dyanmic LHS
+  opt_def.Add('parse_empty_arith')  # empty arithmetic expressions
 
   # Two strict options that from bash's shopt
   for name in ['nullglob', 'inherit_errexit']:

osh/arith_parse.py

@@ -190,6 +190,7 @@ def __init__(self, w_parser, parse_opts):
   def Parse(self):
     # type: () -> arith_expr_t
     self.Next()  # may raise ParseError
-    if self.op_id in (Id.Arith_RParen, Id.Arith_RBrace, Id.Arith_RBracket, Id.Arith_Colon):
-      return arith_expr.Empty()
+    if self.parse_opts.parse_empty_arith():
+      if self.op_id in (Id.Arith_RParen, Id.Arith_RBrace, Id.Arith_RBracket, Id.Arith_Colon):
+        return arith_expr.Empty()
     return self.ParseUntil(0)

spec/arith.test.sh

@@ -580,6 +580,7 @@ echo $((1?2?3:4:5))
 
 #### Empty expression: $(())
 case $SH in (dash) exit 1;; esac
+shopt -s parse_empty_arith 2>/dev/null
 echo 1:$(())
 echo 2:$(( ))
 ## STDOUT:
@@ -593,6 +594,7 @@ echo 2:$(( ))
 # dash/mksh doesn't support $[]
 # oil has different meaning for $[]
 case ${SH##*/} in (dash|mksh|osh) exit 1;; esac
+shopt -s parse_empty_arith 2>/dev/null
 echo 3:$[]
 echo 4:$[ ]
 ## STDOUT:
@@ -604,6 +606,7 @@ echo 4:$[ ]
 
 #### Empty expression: (())
 case $SH in (dash) exit 1;; esac
+shopt -s parse_empty_arith 2>/dev/null
 (()) && echo unexpected || echo OK
 (( )) && echo unexpected || echo OK
 ! (()) && echo OK || echo unexpected
@@ -623,6 +626,7 @@ case $SH in
 (mksh|zsh) exit 1;; # mksh/zsh does not support.
 (bash)     exit 1;; # bash supports this from bash-5.0.
 esac
+shopt -s parse_empty_arith 2>/dev/null
 
 arr=(foo bar)
 echo "${arr[ ]}"
@@ -635,8 +639,10 @@ foo
 #### Empty expression: ${var::}
 case $SH in
 (dash) exit 1;; # dash does not support arrays.
-(dash) exit 1;; # zsh does not support empty offset/length.
+(zsh)  exit 1;; # zsh does not support empty offset/length.
 esac
+shopt -s parse_empty_arith 2>/dev/null
+
 var=abcd
 echo "1:[${var::1}]"
 echo "2:[${var: :1}]"
@@ -661,6 +667,7 @@ case $SH in
 (mksh) exit 1;; # mksh does not support ${array[@]:offset:length}
 (zsh)  exit 1;; # zsh does not support empty offset/length
 esac
+shopt -s parse_empty_arith 2>/dev/null
 array=(1 2 3)
 argv.py "${array[@]::1}"
 argv.py "${array[@]: :1}"