ternary-operator.patch

   1 ---
   2
   3  source/parse.y |   15 +++++++++++++++
   4  1 file changed, 15 insertions(+)
   5
   6 diff --quilt old/source/parse.y new/source/parse.y
   7 --- old/source/parse.y
   8 +++ new/source/parse.y
   9 @@ -131,6 +131,7 @@ static int nextSymIsField = 0;
  10  %type <num> lvlist
  11  %type <inst> lventry
  12  %token ARGSEP
  13 +%type <inst> thenx elsex
  14
  15  %nonassoc IF_NO_ELSE
  16  %nonassoc ELSE
  17 @@ -138,6 +139,7 @@ static int nextSymIsField = 0;
  18  %nonassoc ';'
  19  %nonassoc SYMBOL ARG_LOOKUP
  20  %right    '=' ADDEQ SUBEQ MULEQ DIVEQ MODEQ ANDEQ OREQ
  21 +%right    '?' ':'
  22  %left     CONCAT
  23  %left     OR
  24  %left     AND
  25 @@ -672,6 +674,10 @@ numexpr:      '(' blank expr blank ')'
  26              | numexpr or blank numexpr %prec OR {
  27                  ADD_OP(OP_OR); SET_BR_OFF($2, GetPC());
  28              }
  29 +            | numexpr thenx blank numexpr elsex blank numexpr %prec '?' {
  30 +                SET_BR_OFF($2, $5 + 1); /* thenx limb ends at $5+1 */
  31 +                SET_BR_OFF($5, GetPC());  /* elsex limb ends here */
  32 +            }
  33              | incrdecr blank SYMBOL %prec INCR {
  34                  ADD_OP(OP_PUSH_SYM); ADD_SYM($3); ADD_OP($1);
  35                  ADD_OP(OP_DUP); ADD_OP(OP_ASSIGN); ADD_SYM($3);
  36 @@ -733,6 +739,15 @@ or:     OR {
  37          }
  38          ;
  39
  40 +thenx:  '?' {
  41 +            ADD_OP(OP_BRANCH_FALSE); $$ = GetPC();
  42 +            ADD_BR_OFF(0);
  43 +        }
  44 +elsex:  ':' {
  45 +            ADD_OP(OP_BRANCH); $$ = GetPC();
  46 +            ADD_BR_OFF(0);
  47 +        }
  48 +
  49  dot:    '.' %prec '.' {
  50              nextSymIsField = 1;
  51          }