diff options
Diffstat (limited to 'gcc/opts.c')
-rw-r--r-- | gcc/opts.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gcc/opts.c b/gcc/opts.c index d570b8fe7f0..9b37f021ebc 100644 --- a/gcc/opts.c +++ b/gcc/opts.c @@ -1003,10 +1003,8 @@ common_handle_option (size_t scode, const char *arg, int value) default: /* If the flag was handled in a standard way, assume the lack of processing here is intentional. */ - if (cl_options[scode].flag_var) - break; - - abort (); + gcc_assert (cl_options[scode].flag_var); + break; } return 1; |