rsaenh: CALG_AES cannot be used if the key length was not specified.
[wine/multimedia.git] / programs / winedbg / break.c
blobeed03d92aab41760054e1d0b7f89299c519f326c
1 /*
2 * Debugger break-points handling
4 * Copyright 1994 Martin von Loewis
5 * Copyright 1995 Alexandre Julliard
6 * Copyright 1999,2000 Eric Pouech
8 * This library is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU Lesser General Public
10 * License as published by the Free Software Foundation; either
11 * version 2.1 of the License, or (at your option) any later version.
13 * This library is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 * Lesser General Public License for more details.
18 * You should have received a copy of the GNU Lesser General Public
19 * License along with this library; if not, write to the Free Software
20 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
23 #include "config.h"
24 #include "debugger.h"
25 #include "wine/debug.h"
27 WINE_DEFAULT_DEBUG_CHANNEL(winedbg);
29 static BOOL is_xpoint_break(int bpnum)
31 int type = dbg_curr_process->bp[bpnum].xpoint_type;
33 if (type == be_xpoint_break || type == be_xpoint_watch_exec) return TRUE;
34 if (type == be_xpoint_watch_read || type == be_xpoint_watch_write) return FALSE;
35 RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
36 return FALSE; /* never reached */
39 /***********************************************************************
40 * break_set_xpoints
42 * Set or remove all the breakpoints & watchpoints
44 void break_set_xpoints(BOOL set)
46 static BOOL last; /* = 0 = FALSE */
48 unsigned int i, ret, size;
49 void* addr;
50 struct dbg_breakpoint* bp = dbg_curr_process->bp;
52 if (set == last) return;
53 last = set;
55 for (i = 0; i < dbg_curr_process->next_bp; i++)
57 if (!bp[i].refcount || !bp[i].enabled) continue;
59 if (is_xpoint_break(i))
60 size = 0;
61 else
62 size = bp[i].w.len + 1;
63 addr = memory_to_linear_addr(&bp[i].addr);
65 if (set)
66 ret = be_cpu->insert_Xpoint(dbg_curr_process->handle,
67 dbg_curr_process->process_io,
68 &dbg_context, bp[i].xpoint_type, addr,
69 &bp[i].info, size);
70 else
71 ret = be_cpu->remove_Xpoint(dbg_curr_process->handle,
72 dbg_curr_process->process_io,
73 &dbg_context, bp[i].xpoint_type, addr,
74 bp[i].info, size);
75 if (!ret)
77 dbg_printf("Invalid address (");
78 print_address(&bp[i].addr, FALSE);
79 dbg_printf(") for breakpoint %d, disabling it\n", i);
80 bp[i].enabled = FALSE;
85 /***********************************************************************
86 * find_xpoint
88 * Find the breakpoint for a given address. Return the breakpoint
89 * number or -1 if none.
91 static int find_xpoint(const ADDRESS64* addr, enum be_xpoint_type type)
93 int i;
94 void* lin = memory_to_linear_addr(addr);
95 struct dbg_breakpoint* bp = dbg_curr_process->bp;
97 for (i = 0; i < dbg_curr_process->next_bp; i++)
99 if (bp[i].refcount && bp[i].enabled && bp[i].xpoint_type == type &&
100 memory_to_linear_addr(&bp[i].addr) == lin)
101 return i;
103 return -1;
106 /***********************************************************************
107 * init_xpoint
109 * Find an empty slot in BP table to add a new break/watch point
111 static int init_xpoint(int type, const ADDRESS64* addr)
113 int num;
114 struct dbg_breakpoint* bp = dbg_curr_process->bp;
116 for (num = (dbg_curr_process->next_bp < MAX_BREAKPOINTS) ?
117 dbg_curr_process->next_bp++ : 1;
118 num < MAX_BREAKPOINTS; num++)
120 if (bp[num].refcount == 0)
122 bp[num].refcount = 1;
123 bp[num].enabled = TRUE;
124 bp[num].xpoint_type = type;
125 bp[num].skipcount = 0;
126 bp[num].addr = *addr;
127 return num;
131 dbg_printf("Too many bp. Please delete some.\n");
132 return -1;
135 /***********************************************************************
136 * get_watched_value
138 * Returns the value watched by watch point 'num'.
140 static BOOL get_watched_value(int num, DWORD64* val)
142 DWORD64 buf[1];
144 if (!dbg_read_memory(memory_to_linear_addr(&dbg_curr_process->bp[num].addr),
145 buf, dbg_curr_process->bp[num].w.len + 1))
146 return FALSE;
148 switch (dbg_curr_process->bp[num].w.len + 1)
150 case 8: *val = *(DWORD64*)buf; break;
151 case 4: *val = *(DWORD*)buf; break;
152 case 2: *val = *(WORD*)buf; break;
153 case 1: *val = *(BYTE*)buf; break;
154 default: RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
156 return TRUE;
159 /***********************************************************************
160 * break_add_break
162 * Add a breakpoint.
164 BOOL break_add_break(const ADDRESS64* addr, BOOL verbose, BOOL swbp)
166 int num;
167 BYTE ch;
168 struct dbg_breakpoint* bp = dbg_curr_process->bp;
169 int type = swbp ? be_xpoint_break : be_xpoint_watch_exec;
171 if ((num = find_xpoint(addr, type)) >= 1)
173 bp[num].refcount++;
174 dbg_printf("Breakpoint %d at ", num);
175 print_address(&bp[num].addr, TRUE);
176 dbg_printf(" (refcount=%d)\n", bp[num].refcount);
177 return TRUE;
180 if (!dbg_read_memory(memory_to_linear_addr(addr), &ch, sizeof(ch)))
182 if (verbose)
184 dbg_printf("Invalid address ");
185 print_bare_address(addr);
186 dbg_printf(", can't set breakpoint\n");
188 return FALSE;
191 if ((num = init_xpoint(type, addr)) == -1)
192 return FALSE;
194 dbg_printf("Breakpoint %d at ", num);
195 print_address(&bp[num].addr, TRUE);
196 dbg_printf("\n");
198 return TRUE;
201 /***********************************************************************
202 * break_add_break_from_lvalue
204 * Add a breakpoint.
206 BOOL break_add_break_from_lvalue(const struct dbg_lvalue* lvalue, BOOL swbp)
208 ADDRESS64 addr;
210 types_extract_as_address(lvalue, &addr);
212 if (!break_add_break(&addr, TRUE, swbp))
214 if (!DBG_IVAR(CanDeferOnBPByAddr))
216 dbg_printf("Invalid address, can't set breakpoint\n"
217 "You can turn on deferring bp by address by setting $CanDeferOnBPByAddr to 1\n");
218 return FALSE;
220 dbg_printf("Unable to add breakpoint, will check again any time a new DLL is loaded\n");
221 dbg_curr_process->delayed_bp =
222 dbg_heap_realloc(dbg_curr_process->delayed_bp,
223 sizeof(struct dbg_delayed_bp) * ++dbg_curr_process->num_delayed_bp);
225 dbg_curr_process->delayed_bp[dbg_curr_process->num_delayed_bp - 1].is_symbol = FALSE;
226 dbg_curr_process->delayed_bp[dbg_curr_process->num_delayed_bp - 1].software_bp = swbp;
227 dbg_curr_process->delayed_bp[dbg_curr_process->num_delayed_bp - 1].u.addr = addr;
228 return TRUE;
230 return FALSE;
233 /***********************************************************************
234 * break_add_break_from_id
236 * Add a breakpoint from a function name (and eventually a line #)
238 void break_add_break_from_id(const char *name, int lineno, BOOL swbp)
240 struct dbg_lvalue lvalue;
241 int i;
243 switch (symbol_get_lvalue(name, lineno, &lvalue, TRUE))
245 case sglv_found:
246 break_add_break(&lvalue.addr, TRUE, swbp);
247 return;
248 case sglv_unknown:
249 break;
250 case sglv_aborted: /* user aborted symbol lookup */
251 return;
254 dbg_printf("Unable to add breakpoint, will check again when a new DLL is loaded\n");
255 for (i = 0; i < dbg_curr_process->num_delayed_bp; i++)
257 if (dbg_curr_process->delayed_bp[i].is_symbol &&
258 !strcmp(name, dbg_curr_process->delayed_bp[i].u.symbol.name) &&
259 lineno == dbg_curr_process->delayed_bp[i].u.symbol.lineno)
260 return;
262 dbg_curr_process->delayed_bp = dbg_heap_realloc(dbg_curr_process->delayed_bp,
263 sizeof(struct dbg_delayed_bp) * ++dbg_curr_process->num_delayed_bp);
265 dbg_curr_process->delayed_bp[dbg_curr_process->num_delayed_bp - 1].is_symbol = TRUE;
266 dbg_curr_process->delayed_bp[dbg_curr_process->num_delayed_bp - 1].software_bp = swbp;
267 dbg_curr_process->delayed_bp[dbg_curr_process->num_delayed_bp - 1].u.symbol.name = strcpy(HeapAlloc(GetProcessHeap(), 0, strlen(name) + 1), name);
268 dbg_curr_process->delayed_bp[dbg_curr_process->num_delayed_bp - 1].u.symbol.lineno = lineno;
271 struct cb_break_lineno
273 const char* filename;
274 int lineno;
275 ADDRESS64 addr;
278 static BOOL CALLBACK line_cb(SRCCODEINFO* sci, void* user)
280 struct cb_break_lineno* bkln = user;
282 if (bkln->lineno == sci->LineNumber)
284 bkln->addr.Mode = AddrModeFlat;
285 bkln->addr.Offset = sci->Address;
286 return FALSE;
288 return TRUE;
291 static BOOL CALLBACK mcb(PCWSTR module, DWORD64 base, void* user)
293 struct cb_break_lineno* bkln = user;
295 SymEnumLines(dbg_curr_process->handle, base, NULL, bkln->filename, line_cb, bkln);
296 /* continue module enum if no addr found
297 * FIXME: we don't report when several addresses match the same filename/lineno pair
299 return !bkln->addr.Offset;
302 /***********************************************************************
303 * break_add_break_from_lineno
305 * Add a breakpoint from a line number in current file
307 void break_add_break_from_lineno(const char *filename, int lineno, BOOL swbp)
309 struct cb_break_lineno bkln;
310 bkln.addr.Offset = 0;
311 bkln.lineno = lineno;
313 if (!filename)
315 DWORD disp;
316 ADDRESS64 curr;
317 IMAGEHLP_LINE64 il;
318 DWORD_PTR linear;
320 memory_get_current_pc(&curr);
321 linear = (DWORD_PTR)memory_to_linear_addr(&curr);
322 il.SizeOfStruct = sizeof(il);
323 if (!SymGetLineFromAddr64(dbg_curr_process->handle, linear, &disp, &il))
325 dbg_printf("Unable to add breakpoint (unknown address %lx)\n", linear);
326 return;
328 filename = il.FileName;
329 SymEnumLines(dbg_curr_process->handle, linear, NULL, filename, line_cb, &bkln);
331 else
333 /* we have to enumerate across modules */
334 bkln.filename = filename;
335 SymEnumerateModulesW64(dbg_curr_process->handle, mcb, &bkln);
337 if (bkln.addr.Offset)
338 break_add_break(&bkln.addr, TRUE, swbp);
339 else
340 dbg_printf("Unknown line number\n"
341 "(either out of file, or no code at given line number)\n");
344 /***********************************************************************
345 * break_check_delayed_bp
347 * Check is a registered delayed BP is now available.
349 void break_check_delayed_bp(void)
351 struct dbg_lvalue lvalue;
352 int i;
353 struct dbg_delayed_bp* dbp = dbg_curr_process->delayed_bp;
354 char hexbuf[MAX_OFFSET_TO_STR_LEN];
356 for (i = 0; i < dbg_curr_process->num_delayed_bp; i++)
358 if (dbp[i].is_symbol)
360 if (symbol_get_lvalue(dbp[i].u.symbol.name, dbp[i].u.symbol.lineno,
361 &lvalue, TRUE) != sglv_found)
362 continue;
363 if (lvalue.cookie != DLV_TARGET) continue;
365 else
366 lvalue.addr = dbp[i].u.addr;
367 WINE_TRACE("trying to add delayed %s-bp\n", dbp[i].is_symbol ? "S" : "A");
368 if (!dbp[i].is_symbol)
369 WINE_TRACE("\t%04x:%s\n",
370 dbp[i].u.addr.Segment,
371 memory_offset_to_string(hexbuf, dbp[i].u.addr.Offset, 0));
372 else
373 WINE_TRACE("\t'%s' @ %d\n",
374 dbp[i].u.symbol.name, dbp[i].u.symbol.lineno);
376 if (break_add_break(&lvalue.addr, FALSE, dbp[i].software_bp))
377 memmove(&dbp[i], &dbp[i+1], (--dbg_curr_process->num_delayed_bp - i) * sizeof(*dbp));
381 /***********************************************************************
382 * break_add_watch
384 * Add a watchpoint.
386 static void break_add_watch(const struct dbg_lvalue* lvalue, BOOL is_write)
388 int num;
389 DWORD64 l = 4;
391 if (lvalue->cookie == DLV_HOST)
393 dbg_printf("Cannot set a watch point on register or register-based variable\n");
394 return;
396 num = init_xpoint((is_write) ? be_xpoint_watch_write : be_xpoint_watch_read,
397 &lvalue->addr);
398 if (num == -1) return;
400 if (lvalue->type.id != dbg_itype_none)
402 if (types_get_info(&lvalue->type, TI_GET_LENGTH, &l))
404 switch (l)
406 case 4: case 2: case 1: break;
407 default:
408 dbg_printf("Unsupported length (%s) for watch-points, defaulting to 4\n",
409 wine_dbgstr_longlong(l));
410 break;
413 else dbg_printf("Cannot get watch size, defaulting to 4\n");
415 dbg_curr_process->bp[num].w.len = (DWORD)l - 1;
417 if (!get_watched_value(num, &dbg_curr_process->bp[num].w.oldval))
419 dbg_printf("Bad address. Watchpoint not set\n");
420 dbg_curr_process->bp[num].refcount = 0;
421 return;
423 dbg_printf("Watchpoint %d at ", num);
424 print_address(&dbg_curr_process->bp[num].addr, TRUE);
425 dbg_printf("\n");
428 /******************************************************************
429 * break_add_watch_from_lvalue
431 * Adds a watch point from an address (stored in a lvalue)
433 void break_add_watch_from_lvalue(const struct dbg_lvalue* lvalue,BOOL is_write)
435 struct dbg_lvalue lval;
437 types_extract_as_address(lvalue, &lval.addr);
438 lval.type.id = dbg_itype_none;
440 break_add_watch(&lval, is_write);
443 /***********************************************************************
444 * break_add_watch_from_id
446 * Add a watchpoint from a symbol name
448 void break_add_watch_from_id(const char *name, BOOL is_write)
450 struct dbg_lvalue lvalue;
452 switch (symbol_get_lvalue(name, -1, &lvalue, TRUE))
454 case sglv_found:
455 break_add_watch(&lvalue, is_write);
456 break;
457 case sglv_unknown:
458 dbg_printf("Unable to add watchpoint\n");
459 break;
460 case sglv_aborted: /* user aborted symbol lookup */
461 break;
465 /***********************************************************************
466 * break_delete_xpoint
468 * Delete a breakpoint.
470 void break_delete_xpoint(int num)
472 struct dbg_breakpoint* bp = dbg_curr_process->bp;
474 if ((num <= 0) || (num >= dbg_curr_process->next_bp) ||
475 bp[num].refcount == 0)
477 dbg_printf("Invalid breakpoint number %d\n", num);
478 return;
481 if (--bp[num].refcount > 0)
482 return;
484 if (bp[num].condition != NULL)
486 expr_free(bp[num].condition);
487 bp[num].condition = NULL;
490 bp[num].enabled = FALSE;
491 bp[num].refcount = 0;
492 bp[num].skipcount = 0;
495 static inline BOOL module_is_container(const IMAGEHLP_MODULE* wmod_cntnr,
496 const IMAGEHLP_MODULE* wmod_child)
498 return wmod_cntnr->BaseOfImage <= wmod_child->BaseOfImage &&
499 wmod_cntnr->BaseOfImage + wmod_cntnr->ImageSize >=
500 wmod_child->BaseOfImage + wmod_child->ImageSize;
503 /******************************************************************
504 * break_delete_xpoints_from_module
506 * Remove all Xpoints from module which base is 'base'
508 void break_delete_xpoints_from_module(DWORD64 base)
510 IMAGEHLP_MODULE64 im, im_elf;
511 int i;
512 DWORD_PTR linear;
513 struct dbg_breakpoint* bp = dbg_curr_process->bp;
515 /* FIXME: should do it also on the ELF sibbling if any */
516 im.SizeOfStruct = sizeof(im);
517 im_elf.SizeOfStruct = sizeof(im_elf);
518 if (!SymGetModuleInfo64(dbg_curr_process->handle, base, &im)) return;
520 /* try to get in fact the underlying ELF module (if any) */
521 if (SymGetModuleInfo64(dbg_curr_process->handle, im.BaseOfImage - 1, &im_elf) &&
522 im_elf.BaseOfImage <= im.BaseOfImage &&
523 im_elf.BaseOfImage + im_elf.ImageSize >= im.BaseOfImage + im.ImageSize)
524 im = im_elf;
526 for (i = 0; i < dbg_curr_process->next_bp; i++)
528 if (bp[i].refcount && bp[i].enabled)
530 linear = (DWORD_PTR)memory_to_linear_addr(&bp[i].addr);
531 if (im.BaseOfImage <= linear && linear < im.BaseOfImage + im.ImageSize)
533 break_delete_xpoint(i);
539 /***********************************************************************
540 * break_enable_xpoint
542 * Enable or disable a break point.
544 void break_enable_xpoint(int num, BOOL enable)
546 if ((num <= 0) || (num >= dbg_curr_process->next_bp) ||
547 dbg_curr_process->bp[num].refcount == 0)
549 dbg_printf("Invalid breakpoint number %d\n", num);
550 return;
552 dbg_curr_process->bp[num].enabled = enable != 0;
553 dbg_curr_process->bp[num].skipcount = 0;
557 /***********************************************************************
558 * find_triggered_watch
560 * Lookup the watchpoints to see if one has been triggered
561 * Return >= (watch point index) if one is found
562 * Return -1 if none found
564 * Unfortunately, Linux used to *NOT* (A REAL PITA) report with ptrace
565 * the DR6 register value, so we have to look with our own need the
566 * cause of the TRAP.
567 * -EP
569 static int find_triggered_watch(void)
571 int found = -1;
572 int i;
573 struct dbg_breakpoint* bp = dbg_curr_process->bp;
575 /* Method 1 => get triggered watchpoint from context (doesn't work on Linux
576 * 2.2.x). This should be fixed in >= 2.2.16
578 for (i = 0; i < dbg_curr_process->next_bp; i++)
580 DWORD64 val = 0;
582 if (bp[i].refcount && bp[i].enabled && !is_xpoint_break(i) &&
583 (be_cpu->is_watchpoint_set(&dbg_context, bp[i].info)))
585 be_cpu->clear_watchpoint(&dbg_context, bp[i].info);
587 if (get_watched_value(i, &val))
589 bp[i].w.oldval = val;
590 return i;
595 /* Method 1 failed, trying method 2 */
597 /* Method 2 => check if value has changed among registered watchpoints
598 * this really sucks, but this is how gdb 4.18 works on my linux box
599 * -EP
601 for (i = 0; i < dbg_curr_process->next_bp; i++)
603 DWORD64 val = 0;
605 if (bp[i].refcount && bp[i].enabled && !is_xpoint_break(i) &&
606 get_watched_value(i, &val))
608 if (val != bp[i].w.oldval)
610 be_cpu->clear_watchpoint(&dbg_context, bp[i].info);
611 bp[i].w.oldval = val;
612 found = i;
613 /* cannot break, because two watch points may have been triggered on
614 * the same access
615 * only one will be reported to the user (FIXME ?)
620 return found;
623 /***********************************************************************
624 * break_info
626 * Display break & watch points information.
628 void break_info(void)
630 int i;
631 int nbp = 0, nwp = 0;
632 struct dbg_delayed_bp* dbp = dbg_curr_process->delayed_bp;
633 struct dbg_breakpoint* bp = dbg_curr_process->bp;
635 for (i = 1; i < dbg_curr_process->next_bp; i++)
637 if (bp[i].refcount)
639 if (is_xpoint_break(i)) nbp++; else nwp++;
643 if (nbp)
645 dbg_printf("Breakpoints:\n");
646 for (i = 1; i < dbg_curr_process->next_bp; i++)
648 if (!bp[i].refcount || !is_xpoint_break(i))
649 continue;
650 dbg_printf("%d: %c ", i, bp[i].enabled ? 'y' : 'n');
651 print_address(&bp[i].addr, TRUE);
652 dbg_printf(" (%u)%s\n", bp[i].refcount,
653 bp[i].xpoint_type == be_xpoint_watch_exec ? " (hardware assisted)" : "");
654 if (bp[i].condition != NULL)
656 dbg_printf("\t\tstop when ");
657 expr_print(bp[i].condition);
658 dbg_printf("\n");
662 else dbg_printf("No breakpoints\n");
663 if (nwp)
665 dbg_printf("Watchpoints:\n");
666 for (i = 1; i < dbg_curr_process->next_bp; i++)
668 if (!bp[i].refcount || is_xpoint_break(i))
669 continue;
670 dbg_printf("%d: %c ", i, bp[i].enabled ? 'y' : 'n');
671 print_address(&bp[i].addr, TRUE);
672 dbg_printf(" on %d byte%s (%c)\n",
673 bp[i].w.len + 1, bp[i].w.len > 0 ? "s" : "",
674 bp[i].xpoint_type == be_xpoint_watch_write ? 'W' : 'R');
675 if (bp[i].condition != NULL)
677 dbg_printf("\t\tstop when ");
678 expr_print(bp[i].condition);
679 dbg_printf("\n");
683 else dbg_printf("No watchpoints\n");
684 if (dbg_curr_process->num_delayed_bp)
686 dbg_printf("Delayed breakpoints:\n");
687 for (i = 0; i < dbg_curr_process->num_delayed_bp; i++)
689 if (dbp[i].is_symbol)
691 dbg_printf("%d: %s", i, dbp[i].u.symbol.name);
692 if (dbp[i].u.symbol.lineno != -1)
693 dbg_printf(" at line %u", dbp[i].u.symbol.lineno);
695 else
697 dbg_printf("%d: ", i);
698 print_address(&dbp[i].u.addr, FALSE);
700 dbg_printf("\n");
705 /***********************************************************************
706 * should_stop
708 * Check whether or not the condition (bp / skipcount) of a break/watch
709 * point are met.
711 static BOOL should_stop(int bpnum)
713 struct dbg_breakpoint* bp = &dbg_curr_process->bp[bpnum];
715 if (bp->condition != NULL)
717 struct dbg_lvalue lvalue = expr_eval(bp->condition);
719 if (lvalue.type.id == dbg_itype_none)
722 * Something wrong - unable to evaluate this expression.
724 dbg_printf("Unable to evaluate expression ");
725 expr_print(bp->condition);
726 dbg_printf("\nTurning off condition\n");
727 break_add_condition(bpnum, NULL);
729 else if (!types_extract_as_integer(&lvalue))
731 return FALSE;
735 if (bp->skipcount > 0) bp->skipcount--;
736 return bp->skipcount == 0;
739 /***********************************************************************
740 * break_should_continue
742 * Determine if we should continue execution after a SIGTRAP signal when
743 * executing in the given mode.
745 BOOL break_should_continue(ADDRESS64* addr, DWORD code)
747 enum dbg_exec_mode mode = dbg_curr_thread->exec_mode;
750 if (dbg_curr_thread->stopped_xpoint > 0)
752 if (!should_stop(dbg_curr_thread->stopped_xpoint)) return TRUE;
754 switch (dbg_curr_process->bp[dbg_curr_thread->stopped_xpoint].xpoint_type)
756 case be_xpoint_break:
757 case be_xpoint_watch_exec:
758 dbg_printf("Stopped on breakpoint %d at ", dbg_curr_thread->stopped_xpoint);
759 print_address(&dbg_curr_process->bp[dbg_curr_thread->stopped_xpoint].addr, TRUE);
760 dbg_printf("\n");
761 break;
762 case be_xpoint_watch_read:
763 case be_xpoint_watch_write:
764 dbg_printf("Stopped on watchpoint %d at ", dbg_curr_thread->stopped_xpoint);
765 print_address(addr, TRUE);
766 dbg_printf(" new value %s\n",
767 wine_dbgstr_longlong(dbg_curr_process->bp[dbg_curr_thread->stopped_xpoint].w.oldval));
769 return FALSE;
773 * If our mode indicates that we are stepping line numbers,
774 * get the current function, and figure out if we are exactly
775 * on a line number or not.
777 if (mode == dbg_exec_step_over_line || mode == dbg_exec_step_into_line)
779 if (symbol_get_function_line_status(addr) == dbg_on_a_line_number)
780 dbg_curr_thread->exec_count--;
782 else if (mode == dbg_exec_step_over_insn || mode == dbg_exec_step_into_insn)
783 dbg_curr_thread->exec_count--;
785 if (dbg_curr_thread->exec_count > 0 || mode == dbg_exec_finish)
788 * We still need to execute more instructions.
790 return TRUE;
793 /* no breakpoint, continue if in continuous mode */
794 return mode == dbg_exec_cont || mode == dbg_exec_finish;
797 /***********************************************************************
798 * break_adjust_pc
800 * Adjust PC to the address where the trap (if any) actually occurred
801 * Also sets dbg_curr_thread->stopped_xpoint
803 void break_adjust_pc(ADDRESS64* addr, DWORD code, BOOL first_chance, BOOL* is_break)
805 /* break / watch points are handled on first chance */
806 if ( !first_chance )
808 *is_break = TRUE;
809 dbg_curr_thread->stopped_xpoint = -1;
810 return;
812 *is_break = FALSE;
814 /* If not single-stepping, back up to the break instruction */
815 if (code == EXCEPTION_BREAKPOINT)
816 addr->Offset += be_cpu->adjust_pc_for_break(&dbg_context, TRUE);
818 dbg_curr_thread->stopped_xpoint = find_xpoint(addr, be_xpoint_break);
819 dbg_curr_process->bp[0].enabled = FALSE; /* disable the step-over breakpoint */
821 if (dbg_curr_thread->stopped_xpoint > 0) return;
823 if (dbg_curr_thread->stopped_xpoint < 0)
825 dbg_curr_thread->stopped_xpoint = find_xpoint(addr, be_xpoint_watch_exec);
826 if (dbg_curr_thread->stopped_xpoint < 0)
827 dbg_curr_thread->stopped_xpoint = find_triggered_watch();
828 if (dbg_curr_thread->stopped_xpoint > 0)
830 /* If not single-stepping, do not back up over the break instruction */
831 if (code == EXCEPTION_BREAKPOINT)
832 addr->Offset += be_cpu->adjust_pc_for_break(&dbg_context, FALSE);
833 return;
837 /* If there's no breakpoint and we are not single-stepping, then
838 * either we must have encountered a break insn in the Windows program
839 * or someone is trying to stop us
841 if (dbg_curr_thread->stopped_xpoint == -1 && code == EXCEPTION_BREAKPOINT)
843 *is_break = TRUE;
844 addr->Offset += be_cpu->adjust_pc_for_break(&dbg_context, FALSE);
848 /***********************************************************************
849 * break_suspend_execution
851 * Remove all bp before entering the debug loop
853 void break_suspend_execution(void)
855 break_set_xpoints(FALSE);
856 dbg_curr_process->bp[0] = dbg_curr_thread->step_over_bp;
859 /***********************************************************************
860 * break_restart_execution
862 * Set the bp to the correct state to restart execution
863 * in the given mode.
865 void break_restart_execution(int count)
867 ADDRESS64 addr;
868 enum dbg_line_status status;
869 enum dbg_exec_mode mode, ret_mode;
870 ADDRESS64 callee;
871 void* linear;
873 memory_get_current_pc(&addr);
874 linear = memory_to_linear_addr(&addr);
877 * This is the mode we will be running in after we finish. We would like
878 * to be able to modify this in certain cases.
880 ret_mode = mode = dbg_curr_thread->exec_mode;
882 /* we've stopped on a xpoint (other than step over) */
883 if (dbg_curr_thread->stopped_xpoint > 0)
886 * If we have set a new value, then save it in the BP number.
888 if (count != 0 && mode == dbg_exec_cont)
890 dbg_curr_process->bp[dbg_curr_thread->stopped_xpoint].skipcount = count;
892 /* If we've stopped on a breakpoint, single step over it (, then run) */
893 if (is_xpoint_break(dbg_curr_thread->stopped_xpoint))
894 mode = dbg_exec_step_into_insn;
896 else if (mode == dbg_exec_cont && count > 1)
898 dbg_printf("Not stopped at any breakpoint; argument ignored.\n");
901 if (mode == dbg_exec_finish && be_cpu->is_function_return(linear))
903 mode = ret_mode = dbg_exec_step_into_insn;
907 * See if the function we are stepping into has debug info
908 * and line numbers. If not, then we step over it instead.
909 * FIXME - we need to check for things like thunks or trampolines,
910 * as the actual function may in fact have debug info.
912 if (be_cpu->is_function_call(linear, &callee))
914 status = symbol_get_function_line_status(&callee);
915 #if 0
916 /* FIXME: we need to get the thunk type */
918 * Anytime we have a trampoline, step over it.
920 if ((mode == EXEC_STEP_OVER || mode == EXEC_STEPI_OVER)
921 && status == dbg_in_a_thunk)
923 WINE_WARN("Not stepping into trampoline at %p (no lines)\n",
924 memory_to_linear_addr(&callee));
925 mode = EXEC_STEP_OVER_TRAMPOLINE;
927 #endif
928 if (mode == dbg_exec_step_into_line && status == dbg_no_line_info)
930 WINE_WARN("Not stepping into function at %p (no lines)\n",
931 memory_to_linear_addr(&callee));
932 mode = dbg_exec_step_over_line;
936 if (mode == dbg_exec_step_into_line &&
937 symbol_get_function_line_status(&addr) == dbg_no_line_info)
939 dbg_printf("Single stepping until exit from function,\n"
940 "which has no line number information.\n");
941 ret_mode = mode = dbg_exec_finish;
944 switch (mode)
946 case dbg_exec_cont: /* Continuous execution */
947 be_cpu->single_step(&dbg_context, FALSE);
948 break_set_xpoints(TRUE);
949 break;
951 #if 0
952 case EXEC_STEP_OVER_TRAMPOLINE:
954 * This is the means by which we step over our conversion stubs
955 * in callfrom*.s and callto*.s. We dig the appropriate address
956 * off the stack, and we set the breakpoint there instead of the
957 * address just after the call.
959 be_cpu->get_addr(dbg_curr_thread->handle, &dbg_context,
960 be_cpu_addr_stack, &addr);
961 /* FIXME: we assume stack grows as on an i386 */
962 addr.Offset += 2 * sizeof(unsigned int);
963 dbg_read_memory(memory_to_linear_addr(&addr),
964 &addr.Offset, sizeof(addr.Offset));
965 dbg_curr_process->bp[0].addr = addr;
966 dbg_curr_process->bp[0].enabled = TRUE;
967 dbg_curr_process->bp[0].refcount = 1;
968 dbg_curr_process->bp[0].skipcount = 0;
969 dbg_curr_process->bp[0].xpoint_type = be_xpoint_break;
970 dbg_curr_process->bp[0].condition = NULL;
971 be_cpu->single_step(&dbg_context, FALSE);
972 break_set_xpoints(TRUE);
973 break;
974 #endif
976 case dbg_exec_finish:
977 case dbg_exec_step_over_insn: /* Stepping over a call */
978 case dbg_exec_step_over_line: /* Stepping over a call */
979 if (be_cpu->is_step_over_insn(linear))
981 be_cpu->disasm_one_insn(&addr, FALSE);
982 dbg_curr_process->bp[0].addr = addr;
983 dbg_curr_process->bp[0].enabled = TRUE;
984 dbg_curr_process->bp[0].refcount = 1;
985 dbg_curr_process->bp[0].skipcount = 0;
986 dbg_curr_process->bp[0].xpoint_type = be_xpoint_break;
987 dbg_curr_process->bp[0].condition = NULL;
988 be_cpu->single_step(&dbg_context, FALSE);
989 break_set_xpoints(TRUE);
990 break;
992 /* else fall through to single-stepping */
994 case dbg_exec_step_into_line: /* Single-stepping a line */
995 case dbg_exec_step_into_insn: /* Single-stepping an instruction */
996 be_cpu->single_step(&dbg_context, TRUE);
997 break;
998 default: RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
1000 dbg_curr_thread->step_over_bp = dbg_curr_process->bp[0];
1001 dbg_curr_thread->exec_mode = ret_mode;
1004 BOOL break_add_condition(int num, struct expr* exp)
1006 if (num <= 0 || num >= dbg_curr_process->next_bp ||
1007 !dbg_curr_process->bp[num].refcount)
1009 dbg_printf("Invalid breakpoint number %d\n", num);
1010 return FALSE;
1013 if (dbg_curr_process->bp[num].condition != NULL)
1015 expr_free(dbg_curr_process->bp[num].condition);
1016 dbg_curr_process->bp[num].condition = NULL;
1019 if (exp != NULL) dbg_curr_process->bp[num].condition = expr_clone(exp, NULL);
1021 return TRUE;