validation/sm_fake_assignment.c

   1 #include "check_debug.h"
   2
   3 struct ture {
   4         int x, y;
   5 };
   6
   7 struct ture outside = {
   8         .x = 1,
   9         .y = 2,
  10 };
  11
  12 struct ture buf[10];
  13 void test(void)
  14 {
  15         int a, b;
  16
  17         a = 0;
  18         b = 0;
  19         buf[a++] = outside;
  20         buf[++b] = outside;
  21         __smatch_implied(a);
  22         __smatch_implied(b);
  23 }
  24
  25 /*
  26  * check-name: smatch fake assignment
  27  * check-command: smatch -I.. sm_fake_assignment.c
  28  *
  29  * check-output-start
  30 sm_fake_assignment.c:21 test() implied: a = '1'
  31 sm_fake_assignment.c:22 test() implied: b = '1'
  32  * check-output-end
  33  */