https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116016
qinzhao at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |qinzhao at gcc dot gnu.org --- Comment #3 from qinzhao at gcc dot gnu.org --- (In reply to Jakub Jelinek from comment #2) > So, what would be the prototype of the builtin? > Would it be type-generic for both arguments, i.e. effectively > void __builtin_set_counted_by (...); > which would just verify that 2 arguments are passed, the first one is some > flexible array member with counted_by argument and the second argument has > some type implicitly convertible to the type of the counted_by member? Is the prototype of this builtin good enough: void __builtin_set_counted_by (ptr->FAM, const_exp_with_int_type) i.e, the first argument should be a FAM array reference (in which, ptr is a pointer to the object that include the FAM), and the second argument is a constant expression with integer type.