Print this page
new smatch


  29         r = q+1;
  30 
  31         r = &xp->a;      /* This should NOT complain */
  32         r = &xp->b;
  33         r = &(*xp).a;
  34         r = &(*xp).b;
  35 
  36         r = &x.a;
  37         r = &x.b;
  38 
  39         r = py->a;
  40         r = py->a+1;
  41         r = &py->a[0];
  42 }
  43 /*
  44  * check-name: noderef attribute
  45  *
  46  * check-error-start
  47 noderef.c:24:12: warning: incorrect type in assignment (different modifiers)
  48 noderef.c:24:12:    expected char *[noderef] *q2
  49 noderef.c:24:12:    got char [noderef] **<noident>
  50  * check-error-end
  51  */


  29         r = q+1;
  30 
  31         r = &xp->a;      /* This should NOT complain */
  32         r = &xp->b;
  33         r = &(*xp).a;
  34         r = &(*xp).b;
  35 
  36         r = &x.a;
  37         r = &x.b;
  38 
  39         r = py->a;
  40         r = py->a+1;
  41         r = &py->a[0];
  42 }
  43 /*
  44  * check-name: noderef attribute
  45  *
  46  * check-error-start
  47 noderef.c:24:12: warning: incorrect type in assignment (different modifiers)
  48 noderef.c:24:12:    expected char *[noderef] *q2
  49 noderef.c:24:12:    got char [noderef] **
  50  * check-error-end
  51  */