[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-gnulib] addition: xsize.h
|
From: |
Paul Eggert |
|
Subject: |
Re: [Bug-gnulib] addition: xsize.h |
|
Date: |
17 Nov 2003 13:26:17 -0800 |
|
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 |
Bruno Haible <address@hidden> writes:
> /* Sum of two sizes, with overflow check. */
> static inline size_t
> + #if __GNUC__ >= 3
> + __attribute__ ((__pure__))
> + #endif
> xsum (size_t size1, size_t size2)
Why is the __pure__ attribute useful here? After all, since the
function is inline, GCC can see for itself that it's pure.