This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [middle-end] New option Wsuggest-attribute=const|pure
On Sat, Apr 24, 2010 at 9:47 AM, Manuel López-Ibáñez
<lopezibanez@gmail.com> wrote:
> On 24 April 2010 01:41, Gabriel Dos Reis <dosreis@gmail.com> wrote:
>> On Fri, Apr 23, 2010 at 1:28 PM, Manuel López-Ibáñez
>> <lopezibanez@gmail.com> wrote:
>>> Hi,
>>>
>>> This is an updated version of the patch submitted by Jan almost one year ago.
>>>
>>> http://gcc.gnu.org/ml/gcc-patches/2009-07/msg00124.html
>>>
>>> I dropped the controversial nothrow bits and (hopefully) addressed all
>>> the remainder comments.
>>>
>>> Bootstrapped and regression tested on x86_64-linux-gnu.
>>>
>>> OK for trunk?
>>
>> I like this version much better. ?However,
>>
>> ? ?"if it is known to be finite"
>>
>> is too obscure for most users not expert in GCC-IPA internals.
>> I don't know what is meant by that, but it needs to be improved/clarified.
>
> It also rings a bit obscure to me. Suggestions?
Hmm, I confess I do not understand what was originally meant by "being finite"
when we are talking about a function.
I would appreciate a clarification from a middle-end expert.
>
> Cheers,
>
> Manuel.
>