diff options
author | zwelch <zwelch@b42882b7-edfa-0310-969c-e2dbd0fdcd60> | 2009-05-21 09:28:57 +0000 |
---|---|---|
committer | zwelch <zwelch@b42882b7-edfa-0310-969c-e2dbd0fdcd60> | 2009-05-21 09:28:57 +0000 |
commit | 570631454df083f2af26e453939424a14a9684f1 (patch) | |
tree | e1230d09f47d1e3edf5741005b3248f61d40a740 /src/helper/command.h | |
parent | 5982d4eca8ad4d0aecb5515d39975e39b9d537d7 (diff) |
David Brownell <david-b@pacbell.net>: This patch adds annotations to
the key command_*() helper functions, fixng the bugs that turned up.
Several of these bugs were from misuse of PRIi64; that's for 64-bit
integers, NOT for "long long" or "u64" (which work best with %lld).
git-svn-id: svn://svn.berlios.de/openocd/trunk@1873 b42882b7-edfa-0310-969c-e2dbd0fdcd60
Diffstat (limited to 'src/helper/command.h')
-rw-r--r-- | src/helper/command.h | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/helper/command.h b/src/helper/command.h index 48cbdaab..df3d37a5 100644 --- a/src/helper/command.h +++ b/src/helper/command.h @@ -83,10 +83,14 @@ extern command_context_t* copy_command_context(command_context_t* context); extern int command_context_mode(command_context_t *context, enum command_mode mode); extern command_context_t* command_init(void); extern int command_done(command_context_t *context); -extern void command_print(command_context_t *context, char *format, ...); -extern void command_print_sameline(command_context_t *context, char *format, ...); + +extern void command_print(command_context_t *context, char *format, ...) + __attribute__ ((format (printf, 2, 3))); +extern void command_print_sameline(command_context_t *context, char *format, ...) + __attribute__ ((format (printf, 2, 3))); extern int command_run_line(command_context_t *context, char *line); -extern int command_run_linef(command_context_t *context, char *format, ...); +extern int command_run_linef(command_context_t *context, char *format, ...) + __attribute__ ((format (printf, 2, 3))); extern void command_output_text(command_context_t *context, const char *data); extern void process_jim_events(void); |