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

Press ? to show keyboard shortcuts.
Committed
kremenekJan 19 2014, 9:50 PM
Parents
rL199625: These attributes are no longer "checker-specific."
Branches
Unknown
Tags
Unknown
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.

rL199626

cfe/trunk/include/clang/Basic/Attr.td

Loading...

cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td

Loading...

cfe/trunk/lib/Sema/SemaDeclAttr.cpp

Loading...

cfe/trunk/test/Sema/nonnull.c

Loading...

cfe/trunk/test/SemaObjC/nonnull.m

Loading...

Add Comment