diff --git a/gcc/c/c-parser.cc b/gcc/c/c-parser.cc
index 106a5b48093..ff4a15aebce 100644
--- a/gcc/c/c-parser.cc
+++ b/gcc/c/c-parser.cc
@@ -929,7 +929,11 @@ c_parser_consume_token (c_parser *parser)
   gcc_assert (parser->tokens_avail >= 1);
   gcc_assert (parser->tokens[0].type != CPP_EOF);
   gcc_assert (!parser->in_pragma || parser->tokens[0].type != CPP_PRAGMA_EOL);
-  gcc_assert (parser->error || parser->tokens[0].type != CPP_PRAGMA);
+  /* CPP_PRAGMA should not show up here except if there was an error or inside
+     another pragma.  */
+  gcc_assert (parser->in_pragma
+	      || parser->error
+	      || parser->tokens[0].type != CPP_PRAGMA);
   parser->last_token_location = parser->tokens[0].location;
   if (parser->tokens != &parser->tokens_buf[0])
     parser->tokens++;
diff --git a/gcc/testsuite/c-c++-common/cpp/pr97991-1.c b/gcc/testsuite/c-c++-common/cpp/pr97991-1.c
new file mode 100644
index 00000000000..afdfd8a51b2
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/cpp/pr97991-1.c
@@ -0,0 +1,3 @@
+/* { dg-do compile } */
+/* Make sure malformed redefine_extname with a pragma inside does not cause an ICE. */
+#pragma redefine_extname _Pragma ("pack(bar)") /* { dg-warning "" } */