[[gnu::pure]] vs [[reproducible]]

[Alejandro Colomar]

Hi!

The documentation for [[reproducible]] says that the difference between
that and [[gnu::pure]] is finitness, but finitness is not defined
anywhere.  Could you please clarify what it means?

Does it mean that a [[reproducible]] function might loop forever?  Is
such a function also allowed to [[noreturn]]?


Have a lovely night!
Alex

-- 
<https://www.alejandro-colomar.es>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc/attachments/20260129/b0403879/attachment.sig>