aaron.ballman added inline comments.
================
Comment at: include/clang/Basic/Attr.td:1072
def AllocSize : InheritableAttr {
let Spellings = [GCC<"alloc_size">];
+ let Subjects = SubjectList<[HasFunctionProto]>;
----------------
Does GCC support writing `alloc_size` on function pointers?
================
Comment at: lib/Sema/SemaDecl.cpp:6269
+static void copyAttrFromTypedefToDecl(Sema &S, Decl *D, const TypedefType *TT)
{
+ TypedefNameDecl *TND = TT->getDecl();
+ if (AttrTy *Attribute = TND->getAttr<AttrTy>()) {
----------------
`const TypedefNameDecl *` ?
================
Comment at: lib/Sema/SemaDecl.cpp:6270
+ TypedefNameDecl *TND = TT->getDecl();
+ if (AttrTy *Attribute = TND->getAttr<AttrTy>()) {
+ AttrTy *Clone = Attribute->clone(S.Context);
----------------
`const auto *`
================
Comment at: lib/Sema/SemaDecl.cpp:6723
+ if (R->isFunctionPointerType()) {
+ if (auto TT = R->getAs<TypedefType>()) {
+ copyAttrFromTypedefToDecl<AllocSizeAttr>(*this, NewVD, TT);
----------------
`const auto *` and can elide the braces.
This should probably be generalized at some point into something declarative in
Attr.td, though the type checking may be hard to do that for (I'm not certain).
It doesn't need to be done as part of this patch, though.
================
Comment at: test/Sema/alloc-size.c:46
+// This typedef applies the alloc_size to the pointer to the function pointer
and should not be allowed
+void *(**__attribute__((alloc_size(1, 2))) * allocator_function_typdef4)(int,
int); // expected-warning{{'alloc_size' attribute only applies to non-K&R-style
functions}}
----------------
What should happen in these situations?
```
typedef void * (__attribute__((alloc_size(1))) *
my_malloc_fn_pointer_type)(int);
typedef void * (* my_other_malloc_fn_pointer_type)(int);
void *fn(int i);
__attribute__((alloc_size(1))) void *fn2(int i);
int main() {
my_malloc_fn_pointer_type f = fn; // ???
my_other_malloc_fn_pointer_type f2 = fn2; // ???
}
```
Should this code do something special?
```
typedef void * (__attribute__((alloc_size(1))) *
my_malloc_fn_pointer_type)(int);
typedef void * (* my_other_malloc_fn_pointer_type)(int);
void overloaded(my_malloc_fn_pointer_type fn);
void overloaded(my_other_malloc_fn_pointer_type fn);
void *fn(int i);
__attribute__((alloc_size(1))) void *fn2(int i);
int main() {
overloaded(fn);
overloaded(fn2);
}
```
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D55212/new/
https://reviews.llvm.org/D55212
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
