public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r12-1221] PR c/100783 - ICE on -Wnonnull and erroneous type
@ 2021-06-04 17:23 Martin Sebor
0 siblings, 0 replies; only message in thread
From: Martin Sebor @ 2021-06-04 17:23 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:5328cad24f7460a39b2def12bb9b62be36c92a54
commit r12-1221-g5328cad24f7460a39b2def12bb9b62be36c92a54
Author: Martin Sebor <msebor@redhat.com>
Date: Fri Jun 4 11:21:51 2021 -0600
PR c/100783 - ICE on -Wnonnull and erroneous type
gcc/c-family/ChangeLog:
PR c/100783
* c-attribs.c (positional_argument): Bail on erroneous types.
gcc/c/ChangeLog:
PR c/100783
* c-objc-common.c (print_type): Handle erroneous types.
gcc/testsuite/ChangeLog:
PR c/100783
* gcc.dg/nonnull-6.c: New test.
Diff:
---
gcc/c-family/c-attribs.c | 3 +++
gcc/c/c-objc-common.c | 6 ++++++
gcc/testsuite/gcc.dg/nonnull-6.c | 15 +++++++++++++++
3 files changed, 24 insertions(+)
diff --git a/gcc/c-family/c-attribs.c b/gcc/c-family/c-attribs.c
index 156f7b3e8e1..42026a811dd 100644
--- a/gcc/c-family/c-attribs.c
+++ b/gcc/c-family/c-attribs.c
@@ -698,6 +698,9 @@ positional_argument (const_tree fntype, const_tree atname, tree pos,
if (tree argtype = type_argument_type (fntype, ipos))
{
+ if (argtype == error_mark_node)
+ return NULL_TREE;
+
if (flags & POSARG_ELLIPSIS)
{
if (argno < 1)
diff --git a/gcc/c/c-objc-common.c b/gcc/c/c-objc-common.c
index a68249d7011..b945de15ab8 100644
--- a/gcc/c/c-objc-common.c
+++ b/gcc/c/c-objc-common.c
@@ -185,6 +185,12 @@ get_aka_type (tree type)
static void
print_type (c_pretty_printer *cpp, tree t, bool *quoted)
{
+ if (t == error_mark_node)
+ {
+ pp_string (cpp, _("{erroneous}"));
+ return;
+ }
+
gcc_assert (TYPE_P (t));
struct obstack *ob = pp_buffer (cpp)->obstack;
char *p = (char *) obstack_base (ob);
diff --git a/gcc/testsuite/gcc.dg/nonnull-6.c b/gcc/testsuite/gcc.dg/nonnull-6.c
new file mode 100644
index 00000000000..8f368702e0e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/nonnull-6.c
@@ -0,0 +1,15 @@
+/* PR c/100783 - ICE on -Wnonnull and erroneous type
+ { dg-do compile }
+ { dg-options "-Wall" } */
+
+__attribute__((nonnull (1))) void
+f1 (char[][n]); // { dg-error "undeclared" }
+
+__attribute__((nonnull (2))) void
+f2 (int n, char[n][m]); // { dg-error "undeclared" }
+
+__attribute__((nonnull (1))) void
+f3 (char[*][n]); // { dg-error "undeclared" }
+
+__attribute__((nonnull (1))) void
+f4 (char[f1]); // { dg-error "size" }
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-06-04 17:23 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-06-04 17:23 [gcc r12-1221] PR c/100783 - ICE on -Wnonnull and erroneous type Martin Sebor
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).