blob: 9970b9de4f95af6619c1e52c96c61e473c35671f [file] [log] [blame]
Daniel Dunbar5618e982009-12-15 22:01:24 +00001// RUN: %clang -Xclang -verify -fsyntax-only %s
2// RUN: %clang -emit-llvm -S -o %t %s
Ryan Flynn1f1fdc02009-08-09 20:07:29 +00003
4#include <stdlib.h>
5
Ted Kremenek08479ae2009-08-15 00:51:46 +00006int no_vars __attribute((malloc)); // expected-warning {{functions returning a pointer type}}
Ryan Flynn1f1fdc02009-08-09 20:07:29 +00007
Ted Kremenek08479ae2009-08-15 00:51:46 +00008void returns_void (void) __attribute((malloc)); // expected-warning {{functions returning a pointer type}}
9int returns_int (void) __attribute((malloc)); // expected-warning {{functions returning a pointer type}}
Ted Kremenekf22c4102009-08-14 22:03:27 +000010int * returns_intptr(void) __attribute((malloc)); // no-warning
Ryan Flynne64ffc22009-08-09 22:36:29 +000011typedef int * iptr;
Ted Kremenekf22c4102009-08-14 22:03:27 +000012iptr returns_iptr (void) __attribute((malloc)); // no-warning
13
Ted Kremenek08479ae2009-08-15 00:51:46 +000014__attribute((malloc)) void *(*f)(); // expected-warning{{'malloc' attribute only applies to functions returning a pointer type}}
15__attribute((malloc)) int (*g)(); // expected-warning{{'malloc' attribute only applies to functions returning a pointer type}}
Ryan Flynne64ffc22009-08-09 22:36:29 +000016
Ryan Flynn1f1fdc02009-08-09 20:07:29 +000017__attribute((malloc))
Ted Kremenekf22c4102009-08-14 22:03:27 +000018void * xalloc(unsigned n) { return malloc(n); } // no-warning
Daniel Dunbar8b576972009-11-08 01:45:36 +000019// RUN: grep 'define noalias .* @xalloc(' %t
Ryan Flynn1f1fdc02009-08-09 20:07:29 +000020
Benjamin Kramerb3788a22009-08-11 22:46:25 +000021#define malloc_like __attribute((__malloc__))
22void * xalloc2(unsigned) malloc_like;
Ryan Flynn1f1fdc02009-08-09 20:07:29 +000023void * xalloc2(unsigned n) { return malloc(n); }
24// RUN: grep 'define noalias .* @xalloc2(' %t
25