Print this page
new smatch

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/validation/ptr-inherit.c
          +++ new/usr/src/tools/smatch/src/validation/ptr-inherit.c
↓ open down ↓ 55 lines elided ↑ open up ↑
  56   56          static __thread int o;
  57   57          int *p = &o;                    /* check-should-pass */
  58   58  }
  59   59  
  60   60  /*
  61   61   * check-name: ptr-inherit.c
  62   62   *
  63   63   * check-error-start
  64   64  ptr-inherit.c:12:19: warning: incorrect type in initializer (different modifiers)
  65   65  ptr-inherit.c:12:19:    expected int *p
  66      -ptr-inherit.c:12:19:    got int const *<noident>
       66 +ptr-inherit.c:12:19:    got int const *
  67   67  ptr-inherit.c:18:19: warning: incorrect type in initializer (different modifiers)
  68   68  ptr-inherit.c:18:19:    expected int *p
  69      -ptr-inherit.c:18:19:    got int volatile *<noident>
       69 +ptr-inherit.c:18:19:    got int volatile *
  70   70  ptr-inherit.c:24:19: warning: incorrect type in initializer (different modifiers)
  71   71  ptr-inherit.c:24:19:    expected int *p
  72      -ptr-inherit.c:24:19:    got int [noderef] *<noident>
       72 +ptr-inherit.c:24:19:    got int [noderef] *
  73   73  ptr-inherit.c:30:19: warning: incorrect type in initializer (different base types)
  74   74  ptr-inherit.c:30:19:    expected int *p
  75      -ptr-inherit.c:30:19:    got restricted int *<noident>
       75 +ptr-inherit.c:30:19:    got restricted int *
  76   76  ptr-inherit.c:36:19: warning: incorrect type in initializer (different address spaces)
  77   77  ptr-inherit.c:36:19:    expected int *p
  78      -ptr-inherit.c:36:19:    got int <asn:1>*<noident>
       78 +ptr-inherit.c:36:19:    got int <asn:1> *
  79   79   * check-error-end
  80   80   */
    
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX