auto-detected pure functions are ``inlined'' in spire of noinline

[Gabriel Dos Reis]

Geoff Keating <geoffk@geoffk.org> writes:

| > (ii) arrange for attribute noinline to disable the code that
| > auto-detects the purity/constness of functions.
| 
| I think if you choose (ii), it would be better to rename the
| attribute, since 'noinline' will become a somewhat misleading name.  I
| suggest 'volatile', since I think that's the behaviour you really
| want.

Ouch!  Will we also have 'restrict', 'mutable' or 'register' functions?
;-p

-- Gaby