Check for pure attribute on *_get_type() functions
Add a checker which emits a warning if a *_get_type()
function does not have a pure
attribute.
(Imported from bugs-everywhere; see #2 (closed).)
Add a checker which emits a warning if a *_get_type()
function does not have a pure
attribute.
(Imported from bugs-everywhere; see #2 (closed).)