OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR c/56980 (C pretty-printer does not handle well pointer to typedef of struct) 

PR c/56980
	* c-pretty-print.c (c_pretty_printer::simple_type_specifier): Don't
	print "struct"/"union"/"enum" for typedefed names.

	* gcc.dg/pr56980.c: New test.

From-SVN: r216674
This commit is contained in:
Marek Polacek 2014-10-24 16:29:56 +00:00 committed by Marek Polacek
parent 820aecbf23
commit 90f3520ea5
4 changed files with 38 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/c-family/ChangeLog
View File

@ -1,3 +1,9 @@
2014-10-24 Marek Polacek <polacek@redhat.com>
PR c/56980
* c-pretty-print.c (c_pretty_printer::simple_type_specifier): Don't
print "struct"/"union"/"enum" for typedefed names.
2014-10-23 Marek Polacek <polacek@redhat.com>
* c-ubsan.c (ubsan_instrument_shift): Perform the MINUS_EXPR

4
gcc/c-family/c-pretty-print.c
View File

@ -416,7 +416,9 @@ c_pretty_printer::simple_type_specifier (tree t)
case UNION_TYPE:
case RECORD_TYPE:
case ENUMERAL_TYPE:
if (code == UNION_TYPE)
if (TYPE_NAME (t) && TREE_CODE (TYPE_NAME (t)) == TYPE_DECL)
/* Don't decorate the type if this is a typedef name. */;
else if (code == UNION_TYPE)
pp_c_ws_string (this, "union");
else if (code == RECORD_TYPE)
pp_c_ws_string (this, "struct");

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2014-10-24 Marek Polacek <polacek@redhat.com>
PR c/56980
* gcc.dg/pr56980.c: New test.
2014-10-24 Jiong Wang <jiong.wang@arm.com>
* lib/target-supports.exp

24
gcc/testsuite/gcc.dg/pr56980.c Normal file
View File

@ -0,0 +1,24 @@
/* PR c/56980 */
/* { dg-do compile } */
typedef struct A { int i; } B;
typedef union U { int i; } V;
typedef enum E { G } F;
void foo_s (struct A); /* { dg-message "expected .struct A. but argument is of type .B \\*." } */
void foo_u (union U); /* { dg-message "expected .union U. but argument is of type .V \\*." } */
void foo_e (enum E); /* { dg-message "expected .enum E. but argument is of type .F \\*." } */
void foo_sp (B *); /* { dg-message "expected .B \\*. but argument is of type .struct B \\*." } */
void foo_up (V *); /* { dg-message "expected .V \\*. but argument is of type .union V \\*." } */
void foo_ep (F *); /* { dg-message "expected .F \\*. but argument is of type .enum F \\*." } */
void
bar (B *b, V *v, F *f)
{
foo_s (b); /* { dg-error "incompatible" } */
foo_u (v); /* { dg-error "incompatible" } */
foo_e (f); /* { dg-error "incompatible" } */
foo_sp ((struct B *) b); /* { dg-error "passing argument" } */
foo_up ((union V *) v); /* { dg-error "passing argument" } */
foo_ep (__extension__ (enum F *) f); /* { dg-error "passing argument" } */
}