diff options
| author | Olivier Hainque <hainque@adacore.com> | 2008-06-27 07:35:33 +0000 |
|---|---|---|
| committer | Olivier Hainque <hainque@gcc.gnu.org> | 2008-06-27 07:35:33 +0000 |
| commit | 1a13360e95779bc9b462a4c8c00dfe8e782f8dbd (patch) | |
| tree | 861eda7fc77012eac08e234c6e0cdb115e8e54b0 /gcc/gimplify.c | |
| parent | 4b5705609b65f43f8f06b50443684fc069788ffc (diff) | |
| download | gcc-1a13360e95779bc9b462a4c8c00dfe8e782f8dbd.zip gcc-1a13360e95779bc9b462a4c8c00dfe8e782f8dbd.tar.gz gcc-1a13360e95779bc9b462a4c8c00dfe8e782f8dbd.tar.bz2 | |
gimplify.c (gimplify_modify_expr_to_memset): Assert our documented assumptions.
2008-06-26 Olivier Hainque <hainque@adacore.com>
gcc/
* gimplify.c (gimplify_modify_expr_to_memset): Assert our
documented assumptions.
testsuite/
* gnat.dg/aligned_vla.adb: New test.
From-SVN: r137171
Diffstat (limited to 'gcc/gimplify.c')
| -rw-r--r-- | gcc/gimplify.c | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/gcc/gimplify.c b/gcc/gimplify.c index bf81bb0..799ccbe 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -2809,8 +2809,19 @@ gimplify_modify_expr_to_memcpy (tree *expr_p, tree size, bool want_value) static enum gimplify_status gimplify_modify_expr_to_memset (tree *expr_p, tree size, bool want_value) { - tree t, to, to_ptr; + tree t, from, to, to_ptr; + /* Assert our assumptions, to abort instead of producing wrong code + silently if they are not met. Beware that the RHS CONSTRUCTOR might + not be immediately exposed. */ + from = GENERIC_TREE_OPERAND (*expr_p, 1); + if (TREE_CODE (from) == WITH_SIZE_EXPR) + from = TREE_OPERAND (from, 0); + + gcc_assert (TREE_CODE (from) == CONSTRUCTOR + && VEC_empty (constructor_elt, CONSTRUCTOR_ELTS (from))); + + /* Now proceed. */ to = GENERIC_TREE_OPERAND (*expr_p, 0); to_ptr = build_fold_addr_expr (to); |