public inbox for gcc-patches@gcc.gnu.org
 help / color / mirror / Atom feed
From: lcwu@google.com
To: dnovillo@google.com, jyasskin@google.com
Cc: aaw@google.com, delesley@google.com, gcc-patches@gcc.gnu.org,
	       reply@codereview.appspotmail.com
Subject: Re: [google] Enhance Annotalysis to support cloned functions/methods (issue4591066)
Date: Mon, 13 Jun 2011 20:12:00 -0000	[thread overview]
Message-ID: <20cf303b397b27332004a59d261b@google.com> (raw)


http://codereview.appspot.com/4591066/diff/3001/gcc/tree-threadsafe-analyze.c
File gcc/tree-threadsafe-analyze.c (right):

http://codereview.appspot.com/4591066/diff/3001/gcc/tree-threadsafe-analyze.c#newcode1159
gcc/tree-threadsafe-analyze.c:1159: gcc_assert (false);
On 2011/06/11 17:52:51, Diego Novillo wrote:
> >+ else
> >+  gcc_assert (false);
> >+

> Change to gcc_unreachable ();

Done.

http://codereview.appspot.com/4591066/diff/3001/gcc/tree-threadsafe-analyze.c#newcode2151
gcc/tree-threadsafe-analyze.c:2151: && gimple_call_num_args(call) > 0)
On 2011/06/11 17:52:51, Diego Novillo wrote:
> 2147      starting from GCC-4.5.). The clones could be created as
early as when
>   2148      constructing SSA. Also note that the parameters of a cloned
method
> could
>   2149      be optimized away.  */
>   2150   if (TREE_CODE (TREE_TYPE (DECL_ORIGIN (fdecl))) == METHOD_TYPE
>   2151       && gimple_call_num_args(call) > 0)

> Wouldn't it be easier to make fdecl == DECL_ORIGIN (fdecl) earlier in
the
> function?

> It's OK either way, though.

Yes, my original fix was to make fdecl = DECL_ORIGINAL (fdecl). But I
later changed it to this way because I wanted to tolerate the case where
the base object (i.e. "this" pointer) is an object instead of a pointer
only when fdecl is a clone. (i.e. I don't want to arbitrarily relax it.)
That's why I kept fdecl intact.

http://codereview.appspot.com/4591066/

             reply	other threads:[~2011-06-13 19:44 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-06-13 20:12 lcwu [this message]
2011-06-13 20:39 ` Diego Novillo
  -- strict thread matches above, loose matches on Subject: below --
2011-06-11 18:53 dnovillo
2011-06-11  6:22 Le-Chun Wu
2011-06-10 18:31 Le-Chun Wu

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20cf303b397b27332004a59d261b@google.com \
    --to=lcwu@google.com \
    --cc=aaw@google.com \
    --cc=delesley@google.com \
    --cc=dnovillo@google.com \
    --cc=gcc-patches@gcc.gnu.org \
    --cc=jyasskin@google.com \
    --cc=reply@codereview.appspotmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).