diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/builtins.c | 2 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr45461.c | 18 |
4 files changed, 29 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 388de77cacf..a7d6b1cdf83 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2010-08-31 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/45461 + * builtins.c (dummy_object): Return a MEM_REF instead of INDIRECT_REF. + 2010-08-31 Nathan Froyd <froydnj@codesourcery.com> * config/fr30/fr30.c (fr30_move_double): Delete `dregno' and extra diff --git a/gcc/builtins.c b/gcc/builtins.c index ff1141ff2ae..4b540d857a3 100644 --- a/gcc/builtins.c +++ b/gcc/builtins.c @@ -4741,7 +4741,7 @@ static tree dummy_object (tree type) { tree t = build_int_cst (build_pointer_type (type), 0); - return build1 (INDIRECT_REF, type, t); + return build2 (MEM_REF, type, t, t); } /* Gimplify __builtin_va_arg, aka VA_ARG_EXPR, which is not really a diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 286eb573bca..9f39d485b2b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-08-31 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/45461 + * gcc.dg/pr45461.c: New test. + 2010-08-31 Richard Guenther <rguenther@suse.de> PR testsuite/45455 diff --git a/gcc/testsuite/gcc.dg/pr45461.c b/gcc/testsuite/gcc.dg/pr45461.c new file mode 100644 index 00000000000..7968f73356e --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr45461.c @@ -0,0 +1,18 @@ +/* PR middle-end/45461 */ +/* { dg-do compile } */ + +#include <stdarg.h> + +int +foo (int i, ...) +{ + short e; + va_list ap; + va_start (ap, i); + e = va_arg (ap, short); /* { dg-warning "is promoted" } */ + va_end (ap); + return e; +} + +/* { dg-message "note: \\(so you should pass" "" {target *-*-* } 12 } */ +/* { dg-message "note: if this code" "" {target *-*-* } 12 } */ |