Print this page
new smatch

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/validation/check_byte_count-ice.c
          +++ new/usr/src/tools/smatch/src/validation/check_byte_count-ice.c
   1    1  extern void *memset (void *s, int c, int n);
   2    2  
   3    3  static void foo(void *a)
   4    4  {
   5    5          memset(foo, + ', 20);
   6    6  }
   7    7  /*
   8    8   * check-name: Segfault in check_byte_count after syntax error
   9    9   *
  10   10   * check-error-start
  11      -check_byte_count-ice.c:6:0: warning: Newline in string or character constant
       11 +check_byte_count-ice.c:6:0: warning: missing terminating ' character
  12   12  check_byte_count-ice.c:5:23: warning: multi-character character constant
  13   13  check_byte_count-ice.c:6:1: error: Expected ) in function call
  14   14  check_byte_count-ice.c:6:1: error: got }
  15      -builtin:0:0: error: Expected } at end of function
  16      -builtin:0:0: error: got end-of-input
       15 +check_byte_count-ice.c:20:0: error: Expected } at end of function
       16 +check_byte_count-ice.c:20:0: error: got end-of-input
  17   17  check_byte_count-ice.c:5:15: error: not enough arguments for function memset
  18   18   * check-error-end
  19   19   */
    
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX