1 2 3 4 5 6
void my_func(char *, int, int) __attribute__((__bounded__(__size__,1,2,3))); int main(int argc, char **argv) { return 1; }