Print this page
new smatch

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/validation/int128.c
          +++ new/usr/src/tools/smatch/src/validation/int128.c
↓ open down ↓ 22 lines elided ↑ open up ↑
  23   23         tmp = (((uint128_t)a) * b) + c;
  24   24         return (u64) (tmp >> s);
  25   25  }
  26   26  
  27   27  /*
  28   28   * check-name: int128
  29   29   * check-command: test-linearize $file
  30   30   * check-output-ignore
  31   31   *
  32   32   * check-output-contains: ret\\..*\\$16
  33      - * check-output-contains: mulu\\.128
       33 + * check-output-contains: mul\\.128
  34   34   * check-output-contains: add\\.128
  35   35   *
  36   36   * check-error-start
  37   37  int128.c:5:18: error: two or more data types in declaration specifiers
  38   38  int128.c:5:18: error: Trying to use reserved word 'int' as identifier
  39   39  int128.c:5:25: error: Expected ; at end of declaration
  40   40  int128.c:5:25: error: got badxi
  41   41  int128.c:6:13: error: two or more data types in declaration specifiers
  42   42  int128.c:6:13: error: Trying to use reserved word '__int128' as identifier
  43   43  int128.c:6:25: error: Expected ; at end of declaration
↓ open down ↓ 15 lines elided ↑ open up ↑
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX