From 0b068ee90da7cbccbc7fd3ef66d58b9bcbcedabd Mon Sep 17 00:00:00 2001 From: Jeff Law Date: Tue, 1 Jun 2004 01:42:35 -0600 Subject: [PATCH] stmt.c (expand_decl): Be more selective about calling mark_reg_pointer. * stmt.c (expand_decl): Be more selective about calling mark_reg_pointer. From-SVN: r82533 --- gcc/ChangeLog | 5 +++++ gcc/stmt.c | 19 ++++++++++++++----- 2 files changed, 19 insertions(+), 5 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9e3fd3b5271..8656d299987 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-05-19 Jeff Law + + * stmt.c (expand_decl): Be more selective about calling + mark_reg_pointer. + 2004-06-01 Nicola Pero PR objc/7993 diff --git a/gcc/stmt.c b/gcc/stmt.c index 7c4c67b3bd7..4df59f8eb45 100644 --- a/gcc/stmt.c +++ b/gcc/stmt.c @@ -3422,12 +3422,21 @@ expand_decl (tree decl) SET_DECL_RTL (decl, gen_reg_rtx (reg_mode)); + /* Note if the object is a user variable. */ if (!DECL_ARTIFICIAL (decl)) - mark_user_reg (DECL_RTL (decl)); - - if (POINTER_TYPE_P (type)) - mark_reg_pointer (DECL_RTL (decl), - TYPE_ALIGN (TREE_TYPE (TREE_TYPE (decl)))); + { + mark_user_reg (DECL_RTL (decl)); + + /* Trust user variables which have a pointer type to really + be pointers. Do not trust compiler generated temporaries + as our type system is totally busted as it relates to + pointer arithmetic which translates into lots of compiler + generated objects with pointer types, but which are not really + pointers. */ + if (POINTER_TYPE_P (type)) + mark_reg_pointer (DECL_RTL (decl), + TYPE_ALIGN (TREE_TYPE (TREE_TYPE (decl)))); + } maybe_set_unchanging (DECL_RTL (decl), decl); -- 2.30.2