new smatch

          --- old/usr/src/tools/smatch/src/validation/memops-volatile.c
          +++ new/usr/src/tools/smatch/src/validation/memops-volatile.c
   1    1  static int foo(volatile int *a, int v)
   2    2  {
   3    3          *a = v;
        4 +        *a = 0;
   4    5          return *a;
   5    6  }
   6    7  
   7    8  /*
   8    9   * check-name: memops-volatile
   9   10   * check-command: test-linearize $file
  10   11   *
  11      - * check-output-start
  12      -foo:
  13      -.L0:
  14      -        <entry-point>
  15      -        store.32    %arg2 -> 0[%arg1]
  16      -        load.32     %r5 <- 0[%arg1]
  17      -        ret.32      %r5
  18      -
  19      -
  20      - * check-output-end
       12 + * check-output-ignore
       13 + * check-output-contains: store\\..*%arg2 -> 0\\[%arg1]
       14 + * check-output-contains: store\\..*\\$0 -> 0\\[%arg1]
       15 + * check-output-contains: load\\..*%r.* <- 0\\[%arg1]
  21   16   */
    

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX