new smatch

          --- old/usr/src/tools/smatch/src/validation/compound-assign-type.c
          +++ new/usr/src/tools/smatch/src/validation/compound-assign-type.c
   1    1  static unsigned int foo(unsigned int x, long a)
   2    2  {
   3    3          x /= a;
   4    4          return x;
   5    5  }
   6    6  
   7    7  /*
   8    8   * check-name: compound-assign-type
   9    9   * check-command: test-linearize -m64 $file
       10 + * check-assert: sizeof(long) == 8
       11 + *
  10   12   * check-output-ignore
  11   13   *
  12   14   * check-output-excludes: divu\\.32
  13   15   * check-output-contains: divs\\.64
  14      - * check-output-contains: scast\\.32
       16 + * check-output-contains: zext.64 .* (32) %arg1
       17 + * check-output-contains: trunc.32 .* (64)
  15   18   */
    

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX