git.oblomov.eu Git - wine/blob - programs/winedbg/dbg.y

   1 %{
   2 /*
   3  * Parser for command lines in the Wine debugger
   4  *
   5  * Copyright 1993 Eric Youngdale
   6  * Copyright 1995 Morten Welinder
   7  * Copyright 2000 Eric Pouech
   8  *
   9  * This library is free software; you can redistribute it and/or
  10  * modify it under the terms of the GNU Lesser General Public
  11  * License as published by the Free Software Foundation; either
  12  * version 2.1 of the License, or (at your option) any later version.
  13  *
  14  * This library is distributed in the hope that it will be useful,
  15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  17  * Lesser General Public License for more details.
  18  *
  19  * You should have received a copy of the GNU Lesser General Public
  20  * License along with this library; if not, write to the Free Software
  21  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
  22  */
  23
  24 #include "config.h"
  25 #include "wine/port.h"
  26
  27 #include <stdio.h>
  28 #include <stdlib.h>
  29 #include <string.h>
  30 #ifdef HAVE_UNISTD_H
  31 # include <unistd.h>
  32 #endif
  33
  34 #include "debugger.h"
  35 #include "wine/exception.h"
  36 #include "expr.h"
  37
  38 int dbg_lex(void);
  39 static int dbg_error(const char*);
  40 static void parser(const char*);
  41
  42 %}
  43
  44 %union
  45 {
  46     struct dbg_lvalue   lvalue;
  47     char*               string;
  48     int                 integer;
  49     IMAGEHLP_LINE       listing;
  50     struct expr*        expression;
  51     struct type_expr_t  type;
  52 }
  53
  54 %token tCONT tPASS tSTEP tLIST tNEXT tQUIT tHELP tBACKTRACE tALL tINFO tUP tDOWN
  55 %token tENABLE tDISABLE tBREAK tHBREAK tWATCH tDELETE tSET tPRINT tEXAM
  56 %token tABORT tECHO
  57 %token tCLASS tMAPS tSTACK tSEGMENTS tSYMBOL tREGS tALLREGS tWND tQUEUE tLOCAL tEXCEPTION
  58 %token tPROCESS tTHREAD tEOL tEOF
  59 %token tFRAME tSHARE tMODULE tCOND tDISPLAY tUNDISPLAY tDISASSEMBLE
  60 %token tSTEPI tNEXTI tFINISH tSHOW tDIR tWHATIS tSOURCE
  61 %token <string> tPATH tIDENTIFIER tSTRING tDEBUGSTR tINTVAR
  62 %token <integer> tNUM tFORMAT
  63 %token tSYMBOLFILE tRUN tATTACH tDETACH tKILL tMAINTENANCE tTYPE tMINIDUMP
  64 %token tNOPROCESS
  65
  66 %token tCHAR tSHORT tINT tLONG tFLOAT tDOUBLE tUNSIGNED tSIGNED
  67 %token tSTRUCT tUNION tENUM
  68
  69 /* %left ',' */
  70 /* %left '=' OP_OR_EQUAL OP_XOR_EQUAL OP_AND_EQUAL OP_SHL_EQUAL \
  71          OP_SHR_EQUAL OP_PLUS_EQUAL OP_MINUS_EQUAL \
  72          OP_TIMES_EQUAL OP_DIVIDE_EQUAL OP_MODULO_EQUAL */
  73 /* %left OP_COND */ /* ... ? ... : ... */
  74 %left OP_LOR
  75 %left OP_LAND
  76 %left '|'
  77 %left '^'
  78 %left '&'
  79 %left OP_EQ OP_NE
  80 %left '<' '>' OP_LE OP_GE
  81 %left OP_SHL OP_SHR
  82 %left '+' '-'
  83 %left '*' '/' '%'
  84 %left OP_SIGN '!' '~' OP_DEREF /* OP_INC OP_DEC OP_ADDR */
  85 %left '.' '[' OP_DRF OP_SCOPE
  86 %nonassoc ':'
  87
  88 %type <expression> expr lvalue
  89 %type <lvalue> expr_lvalue lvalue_addr
  90 %type <integer> expr_rvalue
  91 %type <string> pathname identifier cpp_identifier
  92 %type <listing> list_arg
  93 %type <type> type_expr
  94
  95 %%
  96
  97 input:
  98       line
  99     | input line
 100     ;
 101
 102 line:
 103       command tEOL              { expr_free_all(); }
 104     | tEOL
 105     | tEOF                      { return 1; }
 106     | error tEOL                { yyerrok; expr_free_all(); }
 107     ;
 108
 109 command:
 110       tQUIT                     { return 1; }
 111     | tHELP                     { print_help(); }
 112     | tHELP tINFO               { info_help(); }
 113     | tPASS                     { dbg_wait_next_exception(DBG_EXCEPTION_NOT_HANDLED, 0, 0); }
 114     | tCONT                     { dbg_wait_next_exception(DBG_CONTINUE, 1,  dbg_exec_cont); }
 115     | tCONT tNUM                { dbg_wait_next_exception(DBG_CONTINUE, $2, dbg_exec_cont); }
 116     | tSTEP                     { dbg_wait_next_exception(DBG_CONTINUE, 1,  dbg_exec_step_into_line); }
 117     | tSTEP tNUM                { dbg_wait_next_exception(DBG_CONTINUE, $2, dbg_exec_step_into_line); }
 118     | tNEXT                     { dbg_wait_next_exception(DBG_CONTINUE, 1,  dbg_exec_step_over_line); }
 119     | tNEXT tNUM                { dbg_wait_next_exception(DBG_CONTINUE, $2, dbg_exec_step_over_line); }
 120     | tSTEPI                    { dbg_wait_next_exception(DBG_CONTINUE, 1,  dbg_exec_step_into_insn); }
 121     | tSTEPI tNUM               { dbg_wait_next_exception(DBG_CONTINUE, $2, dbg_exec_step_into_insn); }
 122     | tNEXTI                    { dbg_wait_next_exception(DBG_CONTINUE, 1,  dbg_exec_step_over_insn); }
 123     | tNEXTI tNUM               { dbg_wait_next_exception(DBG_CONTINUE, $2, dbg_exec_step_over_insn); }
 124     | tFINISH                   { dbg_wait_next_exception(DBG_CONTINUE, 0,  dbg_exec_finish); }
 125     | tABORT                    { abort(); }
 126     | tBACKTRACE                { stack_backtrace(dbg_curr_tid); }
 127     | tBACKTRACE tNUM           { stack_backtrace($2); }
 128     | tBACKTRACE tALL           { stack_backtrace(-1); }
 129     | tUP                       { stack_set_frame(dbg_curr_thread->curr_frame + 1);  }
 130     | tUP tNUM                  { stack_set_frame(dbg_curr_thread->curr_frame + $2); }
 131     | tDOWN                     { stack_set_frame(dbg_curr_thread->curr_frame - 1);  }
 132     | tDOWN tNUM                { stack_set_frame(dbg_curr_thread->curr_frame - $2); }
 133     | tFRAME tNUM               { stack_set_frame($2); }
 134     | tSHOW tDIR                { source_show_path(); }
 135     | tDIR pathname             { source_add_path($2); }
 136     | tDIR                      { source_nuke_path(dbg_curr_process); }
 137     | tCOND tNUM                { break_add_condition($2, NULL); }
 138     | tCOND tNUM expr           { break_add_condition($2, $3); }
 139     | tSOURCE pathname          { parser($2); }
 140     | tSYMBOLFILE pathname      { symbol_read_symtable($2, 0); }
 141     | tSYMBOLFILE pathname expr_rvalue { symbol_read_symtable($2, $3); }
 142     | tWHATIS expr_lvalue       { dbg_printf("type = "); types_print_type(&$2.type, FALSE); dbg_printf("\n"); }
 143     | tATTACH tNUM              { dbg_attach_debuggee($2, FALSE); dbg_active_wait_for_first_exception(); }
 144     | tDETACH                   { dbg_curr_process->process_io->close_process(dbg_curr_process, FALSE); }
 145     | tKILL                     { dbg_curr_process->process_io->close_process(dbg_curr_process, TRUE); }
 146     | tMINIDUMP pathname        { minidump_write($2, (dbg_curr_thread && dbg_curr_thread->in_exception) ? &dbg_curr_thread->excpt_record : NULL);}
 147     | tECHO tSTRING             { dbg_printf("%s\n", $2); }
 148     | run_command
 149     | list_command
 150     | disassemble_command
 151     | set_command
 152     | x_command
 153     | print_command
 154     | break_command
 155     | watch_command
 156     | display_command
 157     | info_command
 158     | maintenance_command
 159     | noprocess_state
 160     ;
 161
 162 pathname:
 163       identifier                { $$ = $1; }
 164     | tSTRING                   { $$ = $1; }
 165     | tPATH                     { $$ = $1; }
 166     ;
 167
 168 cpp_identifier:
 169       tIDENTIFIER               { $$ = $1; }
 170     | identifier OP_SCOPE tIDENTIFIER { $$ = lexeme_alloc_size(strlen($1) + 2 + strlen($3) + 1);
 171                                        sprintf($$, "%s::%s", $1, $3); }
 172     ;
 173
 174 identifier:
 175       cpp_identifier            { $$ = $1; }
 176     | tIDENTIFIER '!' cpp_identifier { $$ = lexeme_alloc_size(strlen($1) + 1 + strlen($3) + 1);
 177                                        sprintf($$, "%s!%s", $1, $3); }
 178     ;
 179
 180 list_arg:
 181       tNUM                      { $$.FileName = NULL; $$.LineNumber = $1; }
 182     | pathname ':' tNUM         { $$.FileName = $1; $$.LineNumber = $3; }
 183     | identifier                { symbol_get_line(NULL, $1, &$$); }
 184     | pathname ':' identifier   { symbol_get_line($3, $1, &$$); }
 185     | '*' expr_lvalue           { DWORD disp; $$.SizeOfStruct = sizeof($$);
 186                                   SymGetLineFromAddr(dbg_curr_process->handle, (unsigned long)memory_to_linear_addr(& $2.addr), &disp, & $$); }
 187     ;
 188
 189 run_command:
 190       tRUN                      { dbg_run_debuggee(NULL); }
 191     | tRUN tSTRING              { dbg_run_debuggee($2); }
 192     ;
 193
 194 list_command:
 195       tLIST                     { source_list(NULL, NULL, 10); }
 196     | tLIST '-'                 { source_list(NULL,  NULL, -10); }
 197     | tLIST list_arg            { source_list(& $2, NULL, 10); }
 198     | tLIST ',' list_arg        { source_list(NULL, & $3, -10); }
 199     | tLIST list_arg ',' list_arg      { source_list(& $2, & $4, 0); }
 200     ;
 201
 202 disassemble_command:
 203       tDISASSEMBLE              { memory_disassemble(NULL, NULL, 10); }
 204     | tDISASSEMBLE expr_lvalue  { memory_disassemble(&$2, NULL, 10); }
 205     | tDISASSEMBLE expr_lvalue ',' expr_lvalue { memory_disassemble(&$2, &$4, 0); }
 206     ;
 207
 208 set_command:
 209       tSET lvalue_addr '=' expr_rvalue { memory_write_value(&$2, sizeof(int), &$4); }
 210     | tSET '+' tIDENTIFIER      { info_wine_dbg_channel(TRUE, NULL, $3); }
 211     | tSET '-' tIDENTIFIER      { info_wine_dbg_channel(FALSE, NULL, $3); }
 212     | tSET tIDENTIFIER '+' tIDENTIFIER { info_wine_dbg_channel(TRUE, $2, $4); }
 213     | tSET tIDENTIFIER '-' tIDENTIFIER { info_wine_dbg_channel(FALSE, $2, $4); }
 214     | tSET '!' tIDENTIFIER tIDENTIFIER  { dbg_set_option($3, $4); }
 215     | tSET '!' tIDENTIFIER      { dbg_set_option($3, NULL); }
 216     ;
 217
 218 x_command:
 219       tEXAM expr_lvalue         { memory_examine(&$2, 1, 'x'); }
 220     | tEXAM tFORMAT expr_lvalue { memory_examine(&$3, $2 >> 8, $2 & 0xff); }
 221     ;
 222
 223 print_command:
 224       tPRINT expr_lvalue         { print_value(&$2, 0, 0); }
 225     | tPRINT tFORMAT expr_lvalue { if (($2 >> 8) == 1) print_value(&$3, $2 & 0xff, 0); else dbg_printf("Count is meaningless in print command\n"); }
 226     ;
 227
 228 break_command:
 229       tBREAK '*' expr_lvalue    { break_add_break_from_lvalue(&$3, TRUE); }
 230     | tBREAK identifier         { break_add_break_from_id($2, -1, TRUE); }
 231     | tBREAK identifier ':' tNUM { break_add_break_from_id($2, $4, TRUE); }
 232     | tBREAK tNUM               { break_add_break_from_lineno($2, TRUE); }
 233     | tBREAK                    { break_add_break_from_lineno(-1, TRUE); }
 234     | tHBREAK '*' expr_lvalue   { break_add_break_from_lvalue(&$3, FALSE); }
 235     | tHBREAK identifier        { break_add_break_from_id($2, -1, FALSE); }
 236     | tHBREAK identifier ':' tNUM { break_add_break_from_id($2, $4, FALSE); }
 237     | tHBREAK tNUM              { break_add_break_from_lineno($2, FALSE); }
 238     | tHBREAK                   { break_add_break_from_lineno(-1, FALSE); }
 239     | tENABLE tNUM              { break_enable_xpoint($2, TRUE); }
 240     | tENABLE tBREAK tNUM       { break_enable_xpoint($3, TRUE); }
 241     | tDISABLE tNUM             { break_enable_xpoint($2, FALSE); }
 242     | tDISABLE tBREAK tNUM      { break_enable_xpoint($3, FALSE); }
 243     | tDELETE tNUM              { break_delete_xpoint($2); }
 244     | tDELETE tBREAK tNUM       { break_delete_xpoint($3); }
 245     ;
 246
 247 watch_command:
 248       tWATCH '*' expr_lvalue    { break_add_watch_from_lvalue(&$3); }
 249     | tWATCH identifier         { break_add_watch_from_id($2); }
 250     ;
 251
 252 display_command:
 253       tDISPLAY                  { display_print(); }
 254     | tDISPLAY expr             { display_add($2, 1, 0); }
 255     | tDISPLAY tFORMAT expr     { display_add($3, $2 >> 8, $2 & 0xff); }
 256     | tENABLE tDISPLAY tNUM     { display_enable($3, TRUE); }
 257     | tDISABLE tDISPLAY tNUM    { display_enable($3, FALSE); }
 258     | tDELETE tDISPLAY tNUM     { display_delete($3); }
 259     | tDELETE tDISPLAY          { display_delete(-1); }
 260     | tUNDISPLAY tNUM           { display_delete($2); }
 261     | tUNDISPLAY                { display_delete(-1); }
 262     ;
 263
 264 info_command:
 265       tINFO tBREAK              { break_info(); }
 266     | tINFO tSHARE              { info_win32_module(0); }
 267     | tINFO tSHARE expr_rvalue  { info_win32_module($3); }
 268     | tINFO tREGS               { be_cpu->print_context(dbg_curr_thread->handle, &dbg_context, 0); }
 269     | tINFO tALLREGS            { be_cpu->print_context(dbg_curr_thread->handle, &dbg_context, 1); }
 270     | tINFO tSEGMENTS expr_rvalue { info_win32_segments($3 >> 3, 1); }
 271     | tINFO tSEGMENTS           { info_win32_segments(0, -1); }
 272     | tINFO tSTACK              { stack_info(); }
 273     | tINFO tSYMBOL tSTRING     { symbol_info($3); }
 274     | tINFO tLOCAL              { symbol_info_locals(); }
 275     | tINFO tDISPLAY            { display_info(); }
 276     | tINFO tCLASS              { info_win32_class(NULL, NULL); }
 277     | tINFO tCLASS tSTRING      { info_win32_class(NULL, $3); }
 278     | tINFO tWND                { info_win32_window(NULL, FALSE); }
 279     | tINFO tWND expr_rvalue    { info_win32_window((HWND)$3, FALSE); }
 280     | tINFO '*' tWND            { info_win32_window(NULL, TRUE); }
 281     | tINFO '*' tWND expr_rvalue { info_win32_window((HWND)$4, TRUE); }
 282     | tINFO tPROCESS            { info_win32_processes(); }
 283     | tINFO tTHREAD             { info_win32_threads(); }
 284     | tINFO tEXCEPTION          { info_win32_exceptions(dbg_curr_tid); }
 285     | tINFO tEXCEPTION expr_rvalue { info_win32_exceptions($3); }
 286     | tINFO tMAPS               { info_win32_virtual(dbg_curr_pid); }
 287     | tINFO tMAPS expr_rvalue   { info_win32_virtual($3); }
 288     ;
 289
 290 maintenance_command:
 291       tMAINTENANCE tTYPE        { print_types(); }
 292     | tMAINTENANCE tMODULE tSTRING { tgt_module_load($3, FALSE); }
 293     | tMAINTENANCE '*' tMODULE tSTRING { tgt_module_load($4, TRUE); }
 294     ;
 295
 296 noprocess_state:
 297       tNOPROCESS                 {} /* <CR> shall not barf anything */
 298     | tNOPROCESS tBACKTRACE tALL { stack_backtrace(-1); } /* can backtrace all threads with no attached process */
 299     | tNOPROCESS tSTRING         { dbg_printf("No process loaded, cannot execute '%s'\n", $2); }
 300     ;
 301
 302 type_expr:
 303       tCHAR                     { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_char; }
 304     | tINT                      { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_signed_int; }
 305     | tLONG tINT                { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_signed_long_int; }
 306     | tLONG                     { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_signed_long_int; }
 307     | tUNSIGNED tINT            { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_unsigned_int; }
 308     | tUNSIGNED                 { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_unsigned_int; }
 309     | tLONG tUNSIGNED tINT      { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_unsigned_long_int; }
 310     | tLONG tUNSIGNED           { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_unsigned_long_int; }
 311     | tSHORT tINT               { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_signed_short_int; }
 312     | tSHORT                    { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_signed_short_int; }
 313     | tSHORT tUNSIGNED tINT     { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_unsigned_short_int; }
 314     | tSHORT tUNSIGNED          { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_unsigned_short_int; }
 315     | tSIGNED tCHAR             { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_signed_char_int; }
 316     | tUNSIGNED tCHAR           { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_unsigned_char_int; }
 317     | tLONG tLONG tUNSIGNED tINT{ $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_unsigned_longlong_int; }
 318     | tLONG tLONG tUNSIGNED     { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_unsigned_longlong_int; }
 319     | tLONG tLONG tINT          { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_signed_longlong_int; }
 320     | tLONG tLONG               { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_signed_longlong_int; }
 321     | tFLOAT                    { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_short_real; }
 322     | tDOUBLE                   { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_real; }
 323     | tLONG tDOUBLE             { $$.type = type_expr_type_id; $$.deref_count = 0; $$.u.type.module = 0; $$.u.type.id = dbg_itype_long_real; }
 324     | type_expr '*'             { $$ = $1; $$.deref_count++; }
 325     | tCLASS identifier         { $$.type = type_expr_udt_class; $$.deref_count = 0; $$.u.name = $2; }
 326     | tSTRUCT identifier        { $$.type = type_expr_udt_struct; $$.deref_count = 0; $$.u.name = $2; }
 327     | tUNION identifier         { $$.type = type_expr_udt_union; $$.deref_count = 0; $$.u.name = $2; }
 328     | tENUM identifier          { $$.type = type_expr_enumeration; $$.deref_count = 0; $$.u.name = $2; }
 329     ;
 330
 331 expr_lvalue:
 332       expr                      { $$ = expr_eval($1); }
 333     ;
 334
 335 expr_rvalue:
 336       expr_lvalue               { $$ = types_extract_as_integer(&$1); }
 337     ;
 338
 339 /*
 340  * The expr rule builds an expression tree.  When we are done, we call
 341  * EvalExpr to evaluate the value of the expression.  The advantage of
 342  * the two-step approach is that it is possible to save expressions for
 343  * use in 'display' commands, and in conditional watchpoints.
 344  */
 345 expr:
 346       tNUM                      { $$ = expr_alloc_sconstant($1); }
 347     | tSTRING                   { $$ = expr_alloc_string($1); }
 348     | tINTVAR                   { $$ = expr_alloc_internal_var($1); }
 349     | identifier                { $$ = expr_alloc_symbol($1); }
 350     | expr OP_DRF tIDENTIFIER   { $$ = expr_alloc_pstruct($1, $3); }
 351     | expr '.' tIDENTIFIER      { $$ = expr_alloc_struct($1, $3); }
 352     | identifier '(' ')'        { $$ = expr_alloc_func_call($1, 0); }
 353     | identifier '(' expr ')'   { $$ = expr_alloc_func_call($1, 1, $3); }
 354     | identifier '(' expr ',' expr ')' { $$ = expr_alloc_func_call($1, 2, $3, $5); }
 355     | identifier '(' expr ',' expr ',' expr ')' { $$ = expr_alloc_func_call($1, 3, $3, $5, $7); }
 356     | identifier '(' expr ',' expr ',' expr ',' expr ')' { $$ = expr_alloc_func_call($1, 4, $3, $5, $7, $9); }
 357     | identifier '(' expr ',' expr ',' expr ',' expr ',' expr ')' { $$ = expr_alloc_func_call($1, 5, $3, $5, $7, $9, $11); }
 358     | expr '[' expr ']'          { $$ = expr_alloc_binary_op(EXP_OP_ARR, $1, $3); }
 359     | expr ':' expr              { $$ = expr_alloc_binary_op(EXP_OP_SEG, $1, $3); }
 360     | expr OP_LOR expr           { $$ = expr_alloc_binary_op(EXP_OP_LOR, $1, $3); }
 361     | expr OP_LAND expr          { $$ = expr_alloc_binary_op(EXP_OP_LAND, $1, $3); }
 362     | expr '|' expr              { $$ = expr_alloc_binary_op(EXP_OP_OR, $1, $3); }
 363     | expr '&' expr              { $$ = expr_alloc_binary_op(EXP_OP_AND, $1, $3); }
 364     | expr '^' expr              { $$ = expr_alloc_binary_op(EXP_OP_XOR, $1, $3); }
 365     | expr OP_EQ expr            { $$ = expr_alloc_binary_op(EXP_OP_EQ, $1, $3); }
 366     | expr '>' expr              { $$ = expr_alloc_binary_op(EXP_OP_GT, $1, $3); }
 367     | expr '<' expr              { $$ = expr_alloc_binary_op(EXP_OP_LT, $1, $3); }
 368     | expr OP_GE expr            { $$ = expr_alloc_binary_op(EXP_OP_GE, $1, $3); }
 369     | expr OP_LE expr            { $$ = expr_alloc_binary_op(EXP_OP_LE, $1, $3); }
 370     | expr OP_NE expr            { $$ = expr_alloc_binary_op(EXP_OP_NE, $1, $3); }
 371     | expr OP_SHL expr           { $$ = expr_alloc_binary_op(EXP_OP_SHL, $1, $3); }
 372     | expr OP_SHR expr           { $$ = expr_alloc_binary_op(EXP_OP_SHR, $1, $3); }
 373     | expr '+' expr              { $$ = expr_alloc_binary_op(EXP_OP_ADD, $1, $3); }
 374     | expr '-' expr              { $$ = expr_alloc_binary_op(EXP_OP_SUB, $1, $3); }
 375     | expr '*' expr              { $$ = expr_alloc_binary_op(EXP_OP_MUL, $1, $3); }
 376     | expr '/' expr              { $$ = expr_alloc_binary_op(EXP_OP_DIV, $1, $3); }
 377     | expr '%' expr              { $$ = expr_alloc_binary_op(EXP_OP_REM, $1, $3); }
 378     | '-' expr %prec OP_SIGN     { $$ = expr_alloc_unary_op(EXP_OP_NEG, $2); }
 379     | '+' expr %prec OP_SIGN     { $$ = $2; }
 380     | '!' expr                   { $$ = expr_alloc_unary_op(EXP_OP_NOT, $2); }
 381     | '~' expr                   { $$ = expr_alloc_unary_op(EXP_OP_LNOT, $2); }
 382     | '(' expr ')'               { $$ = $2; }
 383     | '*' expr %prec OP_DEREF    { $$ = expr_alloc_unary_op(EXP_OP_DEREF, $2); }
 384     | '&' expr %prec OP_DEREF    { $$ = expr_alloc_unary_op(EXP_OP_ADDR, $2); }
 385     | '(' type_expr ')' expr %prec OP_DEREF { $$ = expr_alloc_typecast(&$2, $4); }
 386     ;
 387
 388 /*
 389  * The lvalue rule builds an expression tree.  This is a limited form
 390  * of expression that is suitable to be used as an lvalue.
 391  */
 392 lvalue_addr:
 393       lvalue                     { $$ = expr_eval($1); }
 394     ;
 395
 396 lvalue:
 397       tNUM                       { $$ = expr_alloc_sconstant($1); }
 398     | tINTVAR                    { $$ = expr_alloc_internal_var($1); }
 399     | identifier                 { $$ = expr_alloc_symbol($1); }
 400     | lvalue OP_DRF tIDENTIFIER  { $$ = expr_alloc_pstruct($1, $3); }
 401     | lvalue '.' tIDENTIFIER     { $$ = expr_alloc_struct($1, $3); }
 402     | lvalue '[' expr ']'        { $$ = expr_alloc_binary_op(EXP_OP_ARR, $1, $3); }
 403     | '*' expr                   { $$ = expr_alloc_unary_op(EXP_OP_FORCE_DEREF, $2); }
 404     ;
 405
 406 %%
 407
 408 static LONG WINAPI wine_dbg_cmd(EXCEPTION_POINTERS *eptr)
 409 {
 410     switch (eptr->ExceptionRecord->ExceptionCode)
 411     {
 412     case DEBUG_STATUS_INTERNAL_ERROR:
 413         dbg_printf("\nWineDbg internal error\n");
 414         break;
 415     case DEBUG_STATUS_NO_SYMBOL:
 416         dbg_printf("\nUndefined symbol\n");
 417         break;
 418     case DEBUG_STATUS_DIV_BY_ZERO:
 419         dbg_printf("\nDivision by zero\n");
 420         break;
 421     case DEBUG_STATUS_BAD_TYPE:
 422         dbg_printf("\nNo type or type mismatch\n");
 423         break;
 424     case DEBUG_STATUS_NO_FIELD:
 425         dbg_printf("\nNo such field in structure or union\n");
 426         break;
 427     case DEBUG_STATUS_CANT_DEREF:
 428         dbg_printf("\nDereference failed (not a pointer, or out of array bounds)\n");
 429         break;
 430     case DEBUG_STATUS_ABORT:
 431         break;
 432     case DEBUG_STATUS_NOT_AN_INTEGER:
 433         dbg_printf("\nNeeding an integral value\n");
 434         break;
 435     case CONTROL_C_EXIT:
 436         /* this is generally sent by a ctrl-c when we run winedbg outside of wineconsole */
 437         /* stop the debuggee, and continue debugger execution, we will be reentered by the
 438          * debug events generated by stopping
 439          */
 440         dbg_interrupt_debuggee();
 441         return EXCEPTION_CONTINUE_EXECUTION;
 442     default:
 443         dbg_printf("\nException %x\n", eptr->ExceptionRecord->ExceptionCode);
 444         break;
 445     }
 446
 447     return EXCEPTION_EXECUTE_HANDLER;
 448 }
 449
 450 static HANDLE dbg_parser_input;
 451 static HANDLE dbg_parser_output;
 452
 453 int      input_fetch_entire_line(const char* pfx, char** line)
 454 {
 455     char        ch;
 456     DWORD       nread;
 457     size_t      len, alloc;
 458
 459     /* as of today, console handles can be file handles... so better use file APIs rather than
 460      * console's
 461      */
 462     WriteFile(dbg_parser_output, pfx, strlen(pfx), &nread, NULL);
 463
 464     if (*line)
 465     {
 466         alloc = HeapSize(GetProcessHeap(), 0, *line);
 467         assert(alloc);
 468     }
 469     else
 470     {
 471         *line = HeapAlloc(GetProcessHeap(), 0, alloc = 16);
 472         assert(*line);
 473     }
 474
 475     len = 0;
 476     do
 477     {
 478         if (!ReadFile(dbg_parser_input, &ch, 1, &nread, NULL) || nread == 0)
 479             return -1;
 480
 481         if (len + 2 > alloc)
 482         {
 483             while (len + 2 > alloc) alloc *= 2;
 484             *line = dbg_heap_realloc(*line, alloc);
 485         }
 486         (*line)[len++] = ch;
 487     }
 488     while (ch != '\n');
 489     (*line)[len] = '\0';
 490
 491     return len;
 492 }
 493
 494 int input_read_line(const char* pfx, char* buf, int size)
 495 {
 496     char*       line = NULL;
 497
 498     int len = input_fetch_entire_line(pfx, &line);
 499     if (len < 0) return 0;
 500     /* remove trailing \n */
 501     if (len > 0 && line[len - 1] == '\n') len--;
 502     len = min(size - 1, len);
 503     memcpy(buf, line, len);
 504     buf[len] = '\0';
 505     HeapFree(GetProcessHeap(), 0, line);
 506     return 1;
 507 }
 508
 509 /***********************************************************************
 510  *           parser_handle
 511  *
 512  * Debugger command line parser
 513  */
 514 void    parser_handle(HANDLE input)
 515 {
 516     BOOL                ret_ok;
 517     HANDLE              in_copy  = dbg_parser_input;
 518     HANDLE              out_copy = dbg_parser_output;
 519
 520     ret_ok = FALSE;
 521
 522     if (input != INVALID_HANDLE_VALUE)
 523     {
 524         dbg_parser_output = INVALID_HANDLE_VALUE;
 525         dbg_parser_input  = input;
 526     }
 527     else
 528     {
 529         dbg_parser_output = GetStdHandle(STD_OUTPUT_HANDLE);
 530         dbg_parser_input  = GetStdHandle(STD_INPUT_HANDLE);
 531     }
 532
 533     do
 534     {
 535        __TRY
 536        {
 537           ret_ok = TRUE;
 538           dbg_parse();
 539        }
 540        __EXCEPT(wine_dbg_cmd)
 541        {
 542           ret_ok = FALSE;
 543        }
 544        __ENDTRY;
 545        lexeme_flush();
 546     } while (!ret_ok);
 547
 548     dbg_parser_input  = in_copy;
 549     dbg_parser_output = out_copy;
 550 }
 551
 552 static void parser(const char* filename)
 553 {
 554     HANDLE h = CreateFile(filename, GENERIC_READ, FILE_SHARE_READ, NULL, OPEN_EXISTING, 0L, 0);
 555     if (h != INVALID_HANDLE_VALUE)
 556     {
 557         parser_handle(h);
 558         CloseHandle(h);
 559     }
 560 }
 561
 562 static int dbg_error(const char* s)
 563 {
 564     dbg_printf("%s\n", s);
 565     return 0;
 566 }
 567
 568 HANDLE parser_generate_command_file(const char* pmt, ...)
 569 {
 570     HANDLE      hFile;
 571     char        path[MAX_PATH], file[MAX_PATH];
 572     DWORD       w;
 573     const char* p;
 574
 575     GetTempPath(sizeof(path), path);
 576     GetTempFileName(path, "WD", 0, file);
 577     hFile = CreateFileA(file, GENERIC_READ|GENERIC_WRITE|DELETE, FILE_SHARE_DELETE,
 578                         NULL, CREATE_ALWAYS, FILE_ATTRIBUTE_NORMAL | FILE_FLAG_DELETE_ON_CLOSE, 0);
 579     if (hFile != INVALID_HANDLE_VALUE)
 580     {
 581         va_list ap;
 582
 583         WriteFile(hFile, pmt, strlen(pmt), &w, 0);
 584         va_start(ap, pmt);
 585         while ((p = va_arg(ap, const char*)) != NULL)
 586         {
 587             WriteFile(hFile, "\n", 1, &w, 0);
 588             WriteFile(hFile, p, strlen(p), &w, 0);
 589         }
 590         va_end(ap);
 591         WriteFile(hFile, "\nquit\n", 6, &w, 0);
 592         SetFilePointer(hFile, 0, NULL, FILE_BEGIN);
 593     }
 594     return hFile;
 595 }