From: rguenth Date: Fri, 1 Aug 2008 13:12:38 +0000 (+0000) Subject: 2008-08-01 Richard Guenther X-Git-Url: http://git.sourceforge.jp/view?a=commitdiff_plain;h=f7ea7934ed9f1b61ee0bc909766d5f27f57f6dec;p=pf3gnuchains%2Fgcc-fork.git 2008-08-01 Richard Guenther PR middle-end/36997 * gimplify.c (gimplify_call_expr): Set error_mark_node on GS_ERROR. * gcc.dg/pr36997.c: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138515 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d22df09d33e..dc1c2604bf5 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2008-08-01 Richard Guenther + PR middle-end/36997 + * gimplify.c (gimplify_call_expr): Set error_mark_node on GS_ERROR. + +2008-08-01 Richard Guenther + PR tree-optimization/36988 * tree-ssa-ccp.c (ccp_fold): Conversions of constants only do not matter if that doesn't change volatile qualification. diff --git a/gcc/gimplify.c b/gcc/gimplify.c index 0f5605abf81..e7fc1679aa3 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -2465,7 +2465,7 @@ gimplify_call_expr (tree *expr_p, gimple_seq *pre_p, bool want_value) } else { - *expr_p = NULL_TREE; + *expr_p = error_mark_node; return GS_ERROR; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index cde9a26f0d9..1d0dc177910 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-08-01 Richard Guenther + + PR middle-end/36997 + * gcc.dg/pr36997.c: New testcase. + 2008-08-01 Eric Botcazou * gnat.dg/deferred_const1.adb: New test. diff --git a/gcc/testsuite/gcc.dg/pr36997.c b/gcc/testsuite/gcc.dg/pr36997.c new file mode 100644 index 00000000000..34ee54a6827 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr36997.c @@ -0,0 +1,8 @@ +/* { dg-do compile { target x86_64-*-* i?86-*-* } } */ +/* { dg-options "-std=c99" } */ + +typedef int __m64 __attribute__ ((__vector_size__ (8), __may_alias__)); +__m64 _mm_add_si64 (__m64 __m1, __m64 __m2) +{ + return (__m64) __builtin_ia32_paddq ((long long)__m1, (long long)__m2); /* { dg-error "incompatible type" } */ +}