diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-20 13:29:00 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-20 23:51:47 +0100 |
| commit | be1ce42e936c96776b661ba5a93b0c9d0d76bb31 (patch) | |
| tree | acbb27da29a312d03fbed7cce1f2069c44cfcfd9 /ddb/db_break.h | |
| parent | 2b33e316ac0d14b564ade0dd6fc3be136e945926 (diff) | |
Mark pure functions with attribute pure
Diffstat (limited to 'ddb/db_break.h')
| -rw-r--r-- | ddb/db_break.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ddb/db_break.h b/ddb/db_break.h index 2dfa804..610af2f 100644 --- a/ddb/db_break.h +++ b/ddb/db_break.h @@ -71,7 +71,7 @@ struct db_breakpoint { typedef struct db_breakpoint *db_breakpoint_t; -extern db_breakpoint_t db_find_breakpoint( const task_t task, db_addr_t addr); +extern db_breakpoint_t db_find_breakpoint( const task_t task, db_addr_t addr) __attribute__ ((pure)); extern boolean_t db_find_breakpoint_here( const task_t task, db_addr_t addr); extern void db_set_breakpoints(void); extern void db_clear_breakpoints(void); |