usr/src/tools/smatch/src/validation/sm_array_overflow5.c

19

__smatch_buf_size(p->buf);

usr/src/tools/smatch/src/validation/sm_buf_size1.c

10

__smatch_buf_size(a);

usr/src/tools/smatch/src/validation/sm_buf_size1.c

11

__smatch_buf_size(b);

usr/src/tools/smatch/src/validation/sm_buf_size1.c

12

__smatch_buf_size(c);

usr/src/tools/smatch/src/validation/sm_buf_size1.c

13

__smatch_buf_size(d);

usr/src/tools/smatch/src/validation/sm_buf_size2.c

14

__smatch_buf_size(a);

usr/src/tools/smatch/src/validation/sm_buf_size2.c

15

__smatch_buf_size(b);

usr/src/tools/smatch/src/validation/sm_buf_size2.c

16

__smatch_buf_size(c);

usr/src/tools/smatch/src/validation/sm_buf_size3.c

10

__smatch_buf_size(a);

usr/src/tools/smatch/src/validation/sm_buf_size3.c

11

__smatch_buf_size((int *)a);

usr/src/tools/smatch/src/validation/sm_buf_size4.c

10

__smatch_buf_size(a);

usr/src/tools/smatch/src/validation/sm_buf_size4.c

11

__smatch_buf_size(b);

usr/src/tools/smatch/src/validation/sm_buf_size4.c

12

__smatch_buf_size(s);

usr/src/tools/smatch/src/validation/sm_buf_size5.c

12

__smatch_buf_size(&foo);

usr/src/tools/smatch/src/validation/sm_buf_size5.c

13

__smatch_buf_size(&(foo.buf[0]));

usr/src/tools/smatch/src/validation/sm_buf_size5.c

14

__smatch_buf_size(&foo.x[0]);

usr/src/tools/smatch/src/validation/sm_buf_size5.c

15

__smatch_buf_size(&foo.x[1]);

usr/src/tools/smatch/src/validation/sm_buf_size6.c

12

__smatch_buf_size(p);

usr/src/tools/smatch/src/validation/sm_buf_size6.c

13

__smatch_buf_size(&p[0]);

usr/src/tools/smatch/src/validation/sm_buf_size6.c

14

__smatch_buf_size(array);

usr/src/tools/smatch/src/validation/sm_buf_size6.c

15

__smatch_buf_size(&array);

usr/src/tools/smatch/src/validation/sm_buf_size6.c

16

__smatch_buf_size(&array[0]);

usr/src/tools/smatch/src/validation/sm_buf_size7.c

10

__smatch_buf_size(a);

usr/src/tools/smatch/src/validation/sm_buf_size7.c

11

__smatch_buf_size(b);

usr/src/tools/smatch/src/validation/sm_buf_size7.c

12

__smatch_buf_size(c);

usr/src/tools/smatch/src/validation/sm_buf_size7.c

13

__smatch_buf_size(d);

usr/src/tools/smatch/src/validation/sm_buf_size8.c

34

__smatch_buf_size(p->msg);

usr/src/tools/smatch/src/validation/sm_buf_size8.c

37

__smatch_buf_size(q->msg);

usr/src/tools/smatch/src/validation/sm_buf_size8.c

40

__smatch_buf_size(a->foo);

usr/src/tools/smatch/src/validation/sm_buf_size8.c

43

__smatch_buf_size(b->bar);