diff options
Diffstat (limited to 'gdb/mi/mi-getopt.c')
| -rw-r--r-- | gdb/mi/mi-getopt.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/mi/mi-getopt.c b/gdb/mi/mi-getopt.c index 78301e3..19a318a 100644 --- a/gdb/mi/mi-getopt.c +++ b/gdb/mi/mi-getopt.c @@ -30,6 +30,7 @@ mi_getopt (const char *prefix, { char *arg; struct mi_opt *opt; + /* We assume that argv/argc are ok. */ if (*optind > argc || *optind < 0) internal_error (__FILE__, __LINE__, |