This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH] Make attribute functions pure

From: Paolo Bonzini <paolo dot bonzini at polimi dot it>
To: Jakub Jelinek <jakub at redhat dot com>
Cc: Richard Sandiford <rsandifo at redhat dot com>, Paolo Bonzini <bonzini at gnu dot org>, gcc-patches at gcc dot gnu dot org
Date: Fri, 23 Jul 2004 10:05:20 +0200
Subject: Re: [PATCH] Make attribute functions pure
References: <cdo6q2$vki$1@sea.gmane.org> <87llhbz0p8.fsf@redhat.com> <4100B747.4070007@polimi.it> <20040723075316.GG21264@devserv.devel.redhat.com>

That's not how pure functions are defined.
GCC can use (and uses) the pure attribute in many places, it can be used
e.g. in escape analysis etc.
So IMHO it is a bad idea to mark them as pure.

Ok, patch withdrawn (still it is interesting to have a way to mark a function as always CSEable).

Paolo

References:
- [PATCH] Make attribute functions pure
  - From: Paolo Bonzini
- Re: [PATCH] Make attribute functions pure
  - From: Richard Sandiford
- Re: [PATCH] Make attribute functions pure
  - From: Paolo Bonzini
- Re: [PATCH] Make attribute functions pure
  - From: Jakub Jelinek

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]