HomePhabricator

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

Unpublished Commit ยท Learn More

No further details are available.

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

Event Timeline