Wire up basic parser/sema support for attribute 'returns_nonnull'.

Description

Wire up basic parser/sema support for attribute 'returns_nonnull'.

This attribute is supported by GCC. More generally it should
probably be a type attribute, but this behavior matches 'nonnull'.

This patch does not include warning logic for checking if a null
value is returned from a function annotated with this attribute.
That will come in subsequent patches.

Details

Committed
kremenekJan 19 2014, 9:50 PM
Parents
rL199625: These attributes are no longer "checker-specific."
Branches
Unknown
Tags
Unknown