1 #include "check_debug.h"
   2 
   3 int test(void)
   4 {
   5         int a[] = { [1] = 2 };
   6         int b[] = { 1, 2, 3 };
   7         int c[] = { 0, [0] = 1, 2, 3};
   8         int d[] = { 0, [3] = 4, 5};
   9 
  10         __smatch_buf_size(a);
  11         __smatch_buf_size(b);
  12         __smatch_buf_size(c);
  13         __smatch_buf_size(d);
  14 }
  15 
  16 /*
  17  * check-name: smatch buf size #7
  18  * check-command: smatch -I.. sm_buf_size7.c
  19  *
  20  * check-output-start
  21 sm_buf_size7.c:10 test() buf size: 'a' 2 elements, 8 bytes
  22 sm_buf_size7.c:11 test() buf size: 'b' 3 elements, 12 bytes
  23 sm_buf_size7.c:12 test() buf size: 'c' 3 elements, 12 bytes
  24 sm_buf_size7.c:13 test() buf size: 'd' 5 elements, 20 bytes
  25  * check-output-end
  26  */