diff options
Diffstat (limited to 'gcc/c-pretty-print.c')
| -rw-r--r-- | gcc/c-pretty-print.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/c-pretty-print.c b/gcc/c-pretty-print.c index 43bc1de..7b74124 100644 --- a/gcc/c-pretty-print.c +++ b/gcc/c-pretty-print.c @@ -2139,8 +2139,7 @@ pp_c_tree_decl_identifier (c_pretty_printer *pp, tree t) { const char *name; - if (!DECL_P (t)) - abort (); + gcc_assert (DECL_P (t)); if (DECL_NAME (t)) name = IDENTIFIER_POINTER (DECL_NAME (t)); |