From 1f1fdc070efa8d32d97a51dbffdae466ad83e480 Mon Sep 17 00:00:00 2001 From: Ryan Flynn Date: Sun, 9 Aug 2009 20:07:29 +0000 Subject: map previously ignored __attribute((malloc)) to noalias attribute of llvm function's return llvm-svn: 78541 --- clang/lib/Sema/SemaDeclAttr.cpp | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) (limited to 'clang/lib/Sema') diff --git a/clang/lib/Sema/SemaDeclAttr.cpp b/clang/lib/Sema/SemaDeclAttr.cpp index 6df81207861..2f86fe1ffe7 100644 --- a/clang/lib/Sema/SemaDeclAttr.cpp +++ b/clang/lib/Sema/SemaDeclAttr.cpp @@ -424,6 +424,22 @@ static void HandleAlwaysInlineAttr(Decl *d, const AttributeList &Attr, d->addAttr(::new (S.Context) AlwaysInlineAttr()); } +static void HandleMallocAttr(Decl *d, const AttributeList &Attr, Sema &S) { + // check the attribute arguments. + if (Attr.getNumArgs() != 0) { + S.Diag(Attr.getLoc(), diag::err_attribute_wrong_number_arguments) << 0; + return; + } + + if (!isFunctionOrMethod(d)) { + S.Diag(Attr.getLoc(), diag::warn_attribute_wrong_decl_type) + << Attr.getName() << 0 /*function*/; + return; + } + + d->addAttr(::new (S.Context) MallocAttr()); +} + static bool HandleCommonNoReturnAttr(Decl *d, const AttributeList &Attr, Sema &S) { // check the attribute arguments. @@ -1759,6 +1775,7 @@ static void ProcessDeclAttribute(Scope *scope, Decl *D, case AttributeList::AT_format_arg: HandleFormatArgAttr (D, Attr, S); break; case AttributeList::AT_gnu_inline: HandleGNUInlineAttr(D, Attr, S); break; case AttributeList::AT_mode: HandleModeAttr (D, Attr, S); break; + case AttributeList::AT_malloc: HandleMallocAttr (D, Attr, S); break; case AttributeList::AT_nonnull: HandleNonNullAttr (D, Attr, S); break; case AttributeList::AT_noreturn: HandleNoReturnAttr (D, Attr, S); break; case AttributeList::AT_nothrow: HandleNothrowAttr (D, Attr, S); break; -- cgit v1.2.3