125 lines · c
1// RUN: %clang_cc1 -std=c99 -fsyntax-only -verify %s2 3typedef unsigned long int size_t;4 5int global_array[42];6int global_int;7 8struct fam_struct {9 int x;10 char count;11 int array[] __attribute__((counted_by(count)));12};13 14void g(char *);15void h(char);16 17void test1(struct fam_struct *ptr, int size, int idx) {18 size_t size_of = sizeof(__builtin_counted_by_ref(ptr->array)); // ok19 int align_of = __alignof(__builtin_counted_by_ref(ptr->array)); // ok20 size_t __ignored_assignment;21 22 *__builtin_counted_by_ref(ptr->array) = size; // ok23 *_Generic(__builtin_counted_by_ref(ptr->array),24 void *: &__ignored_assignment,25 default: __builtin_counted_by_ref(ptr->array)) = 42; // ok26 h(*__builtin_counted_by_ref(ptr->array)); // ok27}28 29void test2(struct fam_struct *ptr, int idx) {30 __builtin_counted_by_ref(); // expected-error {{too few arguments to function call, expected 1, have 0}}31 __builtin_counted_by_ref(ptr->array, ptr->x, ptr->count); // expected-error {{too many arguments to function call, expected 1, have 3}}32}33 34void test3(struct fam_struct *ptr, int idx) {35 __builtin_counted_by_ref(&ptr->array[0]); // expected-error {{'__builtin_counted_by_ref' argument must reference a flexible array member}}36 __builtin_counted_by_ref(&ptr->array[idx]); // expected-error {{'__builtin_counted_by_ref' argument must reference a flexible array member}}37 __builtin_counted_by_ref(&ptr->array); // expected-error {{'__builtin_counted_by_ref' argument must reference a flexible array member}}38 __builtin_counted_by_ref(ptr->x); // expected-error {{'__builtin_counted_by_ref' argument must reference a flexible array member}}39 __builtin_counted_by_ref(&ptr->x); // expected-error {{'__builtin_counted_by_ref' argument must reference a flexible array member}}40 __builtin_counted_by_ref(global_array); // expected-error {{'__builtin_counted_by_ref' argument must reference a flexible array member}}41 __builtin_counted_by_ref(global_int); // expected-error {{'__builtin_counted_by_ref' argument must reference a flexible array member}}42 __builtin_counted_by_ref(&global_int); // expected-error {{'__builtin_counted_by_ref' argument must reference a flexible array member}}43}44 45void test4(struct fam_struct *ptr, int idx) {46 __builtin_counted_by_ref(ptr++->array); // expected-error {{'__builtin_counted_by_ref' argument cannot have side-effects}}47 __builtin_counted_by_ref(&ptr->array[idx++]); // expected-error {{'__builtin_counted_by_ref' argument cannot have side-effects}}48}49 50void *test5(struct fam_struct *ptr, int size, int idx) {51 char *ref = __builtin_counted_by_ref(ptr->array); // expected-error {{value returned by '__builtin_counted_by_ref' cannot be assigned to a variable}}52 char *int_ptr;53 char *p;54 55 ref = __builtin_counted_by_ref(ptr->array); // expected-error {{value returned by '__builtin_counted_by_ref' cannot be assigned to a variable}}56 g(__builtin_counted_by_ref(ptr->array)); // expected-error {{value returned by '__builtin_counted_by_ref' cannot be passed into a function}}57 g(ref = __builtin_counted_by_ref(ptr->array)); // expected-error {{value returned by '__builtin_counted_by_ref' cannot be assigned to a variable}}58 59 if ((ref = __builtin_counted_by_ref(ptr->array))) // expected-error {{value returned by '__builtin_counted_by_ref' cannot be assigned to a variable}}60 ;61 62 for (p = __builtin_counted_by_ref(ptr->array); p && *p; ++p) // expected-error {{value returned by '__builtin_counted_by_ref' cannot be assigned to a variable}}63 ;64 65 return __builtin_counted_by_ref(ptr->array); // expected-error {{value returned by '__builtin_counted_by_ref' cannot be returned from a function}}66}67 68void test6(struct fam_struct *ptr, int size, int idx) {69 *(__builtin_counted_by_ref(ptr->array) + 4) = 37; // expected-error {{value returned by '__builtin_counted_by_ref' cannot be used in a binary expression}}70 __builtin_counted_by_ref(ptr->array)[3] = 37; // expected-error {{value returned by '__builtin_counted_by_ref' cannot be used in an array subscript expression}}71}72 73struct non_fam_struct {74 char x;75 long *pointer;76 int array[42];77 short count;78};79 80void *test7(struct non_fam_struct *ptr, int size) {81 *__builtin_counted_by_ref(ptr->array) = size // expected-error {{'__builtin_counted_by_ref' argument must reference a flexible array member}}82 *__builtin_counted_by_ref(&ptr->array[0]) = size; // expected-error {{'__builtin_counted_by_ref' argument must reference a flexible array member}}83 *__builtin_counted_by_ref(ptr->pointer) = size; // expected-error {{'__builtin_counted_by_ref' argument must reference a flexible array member}}84 *__builtin_counted_by_ref(&ptr->pointer[0]) = size; // expected-error {{'__builtin_counted_by_ref' argument must reference a flexible array member}}85}86 87struct char_count {88 char count;89 int array[] __attribute__((counted_by(count)));90} *cp;91 92struct short_count {93 short count;94 int array[] __attribute__((counted_by(count)));95} *sp;96 97struct int_count {98 int count;99 int array[] __attribute__((counted_by(count)));100} *ip;101 102struct unsigned_count {103 unsigned count;104 int array[] __attribute__((counted_by(count)));105} *up;106 107struct long_count {108 long count;109 int array[] __attribute__((counted_by(count)));110} *lp;111 112struct unsigned_long_count {113 unsigned long count;114 int array[] __attribute__((counted_by(count)));115} *ulp;116 117void test8(void) {118 _Static_assert(_Generic(__builtin_counted_by_ref(cp->array), char * : 1, default : 0) == 1, "wrong return type");119 _Static_assert(_Generic(__builtin_counted_by_ref(sp->array), short * : 1, default : 0) == 1, "wrong return type");120 _Static_assert(_Generic(__builtin_counted_by_ref(ip->array), int * : 1, default : 0) == 1, "wrong return type");121 _Static_assert(_Generic(__builtin_counted_by_ref(up->array), unsigned int * : 1, default : 0) == 1, "wrong return type");122 _Static_assert(_Generic(__builtin_counted_by_ref(lp->array), long * : 1, default : 0) == 1, "wrong return type");123 _Static_assert(_Generic(__builtin_counted_by_ref(ulp->array), unsigned long * : 1, default : 0) == 1, "wrong return type");124}125