diff options
| author | Mikhail Maltsev <maltsevm@gmail.com> | 2017-05-31 13:47:51 +0000 |
|---|---|---|
| committer | Mikhail Maltsev <miyuki@gcc.gnu.org> | 2017-05-31 13:47:51 +0000 |
| commit | 9fc5e7a4430d16742e4cb910f0dbb26460cee50e (patch) | |
| tree | 009737cd39726f8f5c9f92652993449744dfcd13 /gcc/c/gimple-parser.c | |
| parent | afd88efc0530ec39d926c9932e4302cff9a2e526 (diff) | |
| download | gcc-9fc5e7a4430d16742e4cb910f0dbb26460cee50e.zip gcc-9fc5e7a4430d16742e4cb910f0dbb26460cee50e.tar.gz gcc-9fc5e7a4430d16742e4cb910f0dbb26460cee50e.tar.bz2 | |
GIMPLEFE: Handle missing labels in goto statements
gcc/c/
PR testsuite/80580
* gimple-parser.c (c_parser_gimple_if_stmt): Check for empty labels.
gcc/testsuite/
PR testsuite/80580
* gcc.dg/gimplefe-error-7.c: New test.
From-SVN: r248738
Diffstat (limited to 'gcc/c/gimple-parser.c')
| -rw-r--r-- | gcc/c/gimple-parser.c | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gcc/c/gimple-parser.c b/gcc/c/gimple-parser.c index 06f2fdb..fb9a543 100644 --- a/gcc/c/gimple-parser.c +++ b/gcc/c/gimple-parser.c @@ -1335,9 +1335,14 @@ c_parser_gimple_if_stmt (c_parser *parser, gimple_seq *seq) { loc = c_parser_peek_token (parser)->location; c_parser_consume_token (parser); + if (! c_parser_next_token_is (parser, CPP_NAME)) + { + c_parser_error (parser, "expected label"); + return; + } label = c_parser_peek_token (parser)->value; - t_label = lookup_label_for_goto (loc, label); c_parser_consume_token (parser); + t_label = lookup_label_for_goto (loc, label); if (! c_parser_require (parser, CPP_SEMICOLON, "expected %<;%>")) return; } @@ -1359,6 +1364,11 @@ c_parser_gimple_if_stmt (c_parser *parser, gimple_seq *seq) { loc = c_parser_peek_token (parser)->location; c_parser_consume_token (parser); + if (! c_parser_next_token_is (parser, CPP_NAME)) + { + c_parser_error (parser, "expected label"); + return; + } label = c_parser_peek_token (parser)->value; f_label = lookup_label_for_goto (loc, label); c_parser_consume_token (parser); |