From 4e141ba194207fd108e22bad20a8efd8c62ad1f2 Mon Sep 17 00:00:00 2001 From: rth Date: Sun, 19 Dec 2004 21:08:33 +0000 Subject: PR 18067 * stor-layout.c (variable_size): Force creation of a SAVE_EXPR. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@92389 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/stor-layout.c | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'gcc/stor-layout.c') diff --git a/gcc/stor-layout.c b/gcc/stor-layout.c index 6b78fa6520e..7069ad9b2ec 100644 --- a/gcc/stor-layout.c +++ b/gcc/stor-layout.c @@ -125,11 +125,19 @@ variable_size (tree size) just return SIZE unchanged. Likewise for self-referential sizes and constant sizes. */ if (TREE_CONSTANT (size) + || TREE_CODE (size) == SAVE_EXPR || lang_hooks.decls.global_bindings_p () < 0 || CONTAINS_PLACEHOLDER_P (size)) return size; - size = save_expr (size); + /* Force creation of a SAVE_EXPR. This solves (1) code duplication + problems between parent and nested functions that occasionally can't + be cleaned up because of portions of the expression escaping the + parent function via the FRAME object, and (2) tree sharing problems + between the type system and the gimple code, which can leak SSA_NAME + objects into e.g. TYPE_SIZE, which cause heartburn when emitting + debug information. */ + size = build1 (SAVE_EXPR, TREE_TYPE (size), size); /* If an array with a variable number of elements is declared, and the elements require destruction, we will emit a cleanup for the -- cgit v1.2.1