diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2d4575aec12..7bbe988d839 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2007-09-18 Jakub Jelinek + + PR middle-end/33423 + * builtins.c (expand_builtin_memory_chk): Handle COMPOUND_EXPRs + returned by build_call_expr. + 2007-09-17 Eric Botcazou * tree-sra.c (maybe_lookup_element_for_expr) : Return diff --git a/gcc/builtins.c b/gcc/builtins.c index 50d4b6211e1..bb43ab61b3d 100644 --- a/gcc/builtins.c +++ b/gcc/builtins.c @@ -11558,6 +11558,13 @@ expand_builtin_memory_chk (tree exp, rtx target, enum machine_mode mode, return NULL_RTX; fn = build_call_expr (fn, 3, dest, src, len); + STRIP_TYPE_NOPS (fn); + while (TREE_CODE (fn) == COMPOUND_EXPR) + { + expand_expr (TREE_OPERAND (fn, 0), const0_rtx, VOIDmode, + EXPAND_NORMAL); + fn = TREE_OPERAND (fn, 1); + } if (TREE_CODE (fn) == CALL_EXPR) CALL_EXPR_TAILCALL (fn) = CALL_EXPR_TAILCALL (exp); return expand_expr (fn, target, mode, EXPAND_NORMAL); @@ -11606,6 +11613,13 @@ expand_builtin_memory_chk (tree exp, rtx target, enum machine_mode mode, if (!fn) return NULL_RTX; fn = build_call_expr (fn, 4, dest, src, len, size); + STRIP_TYPE_NOPS (fn); + while (TREE_CODE (fn) == COMPOUND_EXPR) + { + expand_expr (TREE_OPERAND (fn, 0), const0_rtx, VOIDmode, + EXPAND_NORMAL); + fn = TREE_OPERAND (fn, 1); + } if (TREE_CODE (fn) == CALL_EXPR) CALL_EXPR_TAILCALL (fn) = CALL_EXPR_TAILCALL (exp); return expand_expr (fn, target, mode, EXPAND_NORMAL); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ae89416b95b..a110de35d12 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2007-09-18 Jakub Jelinek + + PR middle-end/33423 + * gcc.c-torture/compile/20070915-1.c: New test. + 2007-09-17 Tobias Burnus PR fortran/33106 diff --git a/gcc/testsuite/gcc.c-torture/compile/20070915-1.c b/gcc/testsuite/gcc.c-torture/compile/20070915-1.c new file mode 100644 index 00000000000..1cd64e5ca69 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/20070915-1.c @@ -0,0 +1,20 @@ +/* PR middle-end/33423 */ + +static struct +{ + char buf[15]; +} u2; + +void +test6 (void) +{ + int len; + char *p; + + for (len = 0; len < 2; len++) + { + p = __builtin___memset_chk (u2.buf, '\0', len, 15); + if (p != u2.buf) + return; + } +}