// RUN: %clang_cc1 %s -emit-llvm -o - | FileCheck %s

struct foo {
  void *my_alloc(unsigned) __attribute__((alloc_size(2)));
  static void* static_alloc(unsigned) __attribute__((alloc_size(1)));
};


void* f(bool a) {
  // CHECK: call i8* {{.*}}alloc{{.*}}, !alloc_size !0
  // CHECK: call i8* {{.*}}static_alloc{{.*}}, !alloc_size !1
  foo obj;
  return a ? obj.my_alloc(2) :
             foo::static_alloc(42);
}

// CHECK: !0 = metadata !{i32 1}
// CHECK: !1 = metadata !{i32 0}