diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-15 11:48:39 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-15 21:42:30 +0100 |
| commit | f885fde0a7177f954893be22efdf8c55c7c40fdb (patch) | |
| tree | 1052965ca2da8f0e22142205d8fe1bb4de0fd531 /ddb/db_run.h | |
| parent | 442227ee5519f307e9f74030a9eeb7aa7983a4bc (diff) | |
ddb: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'ddb/db_run.h')
| -rw-r--r-- | ddb/db_run.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/ddb/db_run.h b/ddb/db_run.h index 0c55279..c042d4c 100644 --- a/ddb/db_run.h +++ b/ddb/db_run.h @@ -46,27 +46,27 @@ extern void db_single_step(db_regs_t *regs, task_t task); extern void db_single_step_cmd( db_expr_t addr, - int have_addr, + int have_addr, db_expr_t count, - char *modif); + const char *modif); void db_trace_until_call_cmd( db_expr_t addr, int have_addr, db_expr_t count, - char * modif); + const char * modif); void db_trace_until_matching_cmd( db_expr_t addr, int have_addr, db_expr_t count, - char * modif); + const char * modif); void db_continue_cmd( db_expr_t addr, int have_addr, db_expr_t count, - char * modif); + const char * modif); #ifndef db_set_single_step void db_set_task_single_step(db_regs_t *, task_t); @@ -74,7 +74,7 @@ void db_set_task_single_step(db_regs_t *, task_t); #define db_set_task_single_step(regs, task) db_set_single_step(regs) #endif #ifndef db_clear_single_step -void db_clear_task_single_step(db_regs_t *, task_t); +void db_clear_task_single_step(const db_regs_t *, task_t); #else #define db_clear_task_single_step(regs, task) db_clear_single_step(regs) #endif |