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]

Re: Patch to purify some functions.

To: grahams at rcp dot co dot uk
Subject: Re: Patch to purify some functions.
From: Mark Mitchell <mark at codesourcery dot com>
Date: Thu, 20 Apr 2000 09:30:42 -0700
Cc: hubicka at atrey dot karlin dot mff dot cuni dot cz, egcs-patches at egcs dot cygnus dot com, rth at cygnus dot com
Organization: CodeSourcery, LLC
References: <20000420160740.I9657@atrey.karlin.mff.cuni.cz><20000420082355N.mitchell@codesourcery.com><38FF29F9.C422AE9E@rcp.co.uk>

>>>>> "grahams" == grahams  <grahams@rcp.co.uk> writes:

    grahams> Mark

    grahams> Would it not be possible for the compiler to check that
    grahams> functions marked as pure are indeed pure.

In some cases, this would be possible.  But, as Andi notes, it's hard
in the general case -- sufficiently much so that any warning would
probably have a lot of false positives.  We don't yet have a good
framework for doing this kind of thing.

--
Mark Mitchell                   mark@codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com

References:
- Patch to purify some functions.
  - From: Jan Hubicka
- Re: Patch to purify some functions.
  - From: Mark Mitchell
- Re: Patch to purify some functions.
  - From: grahams

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