voidf8(int*i,int*j,intk)__attribute__((ownership_holds(foo,1,2,4)));// expected-error {{'ownership_holds' attribute parameter 3 is out of bounds}}
intf9__attribute__((ownership_takes(foo,1)));// expected-warning {{'ownership_takes' attribute only applies to functions}}
voidf10(inti)__attribute__((ownership_holds(foo,1)));// expected-error {{'ownership_holds' attribute only applies to pointer arguments}}
void*f11(floati)__attribute__((ownership_returns(foo,1)));// expected-error {{'ownership_returns' attribute only applies to integer arguments}}
void*f12(floati,intk,intf,int*j)__attribute__((ownership_returns(foo,4)));// expected-error {{'ownership_returns' attribute only applies to integer arguments}}
voidf14(inti,intj,int*k)__attribute__((ownership_holds(foo,3)))__attribute__((ownership_takes(foo,3)));// expected-error {{'ownership_holds' and 'ownership_takes' attributes are not compatible}}