illumos-gate Sdiff usr/src/tools/smatch/src/validation/reserved.c

Print this page

new smatch

  64 static int (asm);                       // not reserved!
  65 static int (__asm);
  66 static int (__asm__);
  67 static int (__label__);
  68 static int (__thread);
  69 static int (typeof);
  70 static int (__typeof);
  71 static int (__typeof__);
  72 
  73 static int (__int128);
  74 static int (__int128_t);
  75 static int (__uint128_t);
  76 
  77 static int (__builtin_ms_va_list);
  78 static int (__builtin_offsetof);
  79 static int (__builtin_types_compatible_p);
  80 static int (__builtin_va_list);
  81 
  82 /*
  83  * check-name: const et.al. are reserved identifiers
  84  * check-error-start:
  85 reserved.c:1:12: error: Trying to use reserved word 'auto' as identifier
  86 reserved.c:2:12: error: Trying to use reserved word 'break' as identifier
  87 reserved.c:3:12: error: Trying to use reserved word 'case' as identifier
  88 reserved.c:4:12: error: Trying to use reserved word 'char' as identifier
  89 reserved.c:5:12: error: Trying to use reserved word 'const' as identifier
  90 reserved.c:6:12: error: Trying to use reserved word '__const' as identifier
  91 reserved.c:7:12: error: Trying to use reserved word '__const__' as identifier
  92 reserved.c:8:12: error: Trying to use reserved word 'continue' as identifier
  93 reserved.c:9:12: error: Trying to use reserved word 'default' as identifier
  94 reserved.c:10:12: error: Trying to use reserved word 'do' as identifier
  95 reserved.c:11:12: error: Trying to use reserved word 'double' as identifier
  96 reserved.c:12:12: error: Trying to use reserved word 'else' as identifier
  97 reserved.c:13:12: error: Trying to use reserved word 'enum' as identifier
  98 reserved.c:14:12: error: Trying to use reserved word 'extern' as identifier
  99 reserved.c:15:12: error: Trying to use reserved word 'float' as identifier
 100 reserved.c:16:12: error: Trying to use reserved word 'for' as identifier
 101 reserved.c:17:12: error: Trying to use reserved word 'goto' as identifier
 102 reserved.c:18:12: error: Trying to use reserved word 'if' as identifier
 103 reserved.c:19:12: error: Trying to use reserved word 'inline' as identifier
 104 reserved.c:20:12: error: Trying to use reserved word '__inline' as identifier

 137 reserved.c:54:12: error: Trying to use reserved word '_Thread_local' as identifier
 138 reserved.c:57:12: error: Trying to use reserved word '__context__' as identifier
 139 reserved.c:58:12: error: Trying to use reserved word '__range__' as identifier
 140 reserved.c:59:12: error: Trying to use reserved word '__sizeof_ptr__' as identifier
 141 reserved.c:62:12: error: Trying to use reserved word '__alignof' as identifier
 142 reserved.c:63:12: error: Trying to use reserved word '__alignof__' as identifier
 143 reserved.c:65:12: error: Trying to use reserved word '__asm' as identifier
 144 reserved.c:66:12: error: Trying to use reserved word '__asm__' as identifier
 145 reserved.c:67:12: error: Trying to use reserved word '__label__' as identifier
 146 reserved.c:68:12: error: Trying to use reserved word '__thread' as identifier
 147 reserved.c:69:12: error: Trying to use reserved word 'typeof' as identifier
 148 reserved.c:70:12: error: Trying to use reserved word '__typeof' as identifier
 149 reserved.c:71:12: error: Trying to use reserved word '__typeof__' as identifier
 150 reserved.c:73:12: error: Trying to use reserved word '__int128' as identifier
 151 reserved.c:74:12: error: Trying to use reserved word '__int128_t' as identifier
 152 reserved.c:75:12: error: Trying to use reserved word '__uint128_t' as identifier
 153 reserved.c:77:12: error: Trying to use reserved word '__builtin_ms_va_list' as identifier
 154 reserved.c:78:12: error: Trying to use reserved word '__builtin_offsetof' as identifier
 155 reserved.c:79:12: error: Trying to use reserved word '__builtin_types_compatible_p' as identifier
 156 reserved.c:80:12: error: Trying to use reserved word '__builtin_va_list' as identifier
 157  * check-error-end:
 158  */

  64 static int (asm);                       // not reserved!
  65 static int (__asm);
  66 static int (__asm__);
  67 static int (__label__);
  68 static int (__thread);
  69 static int (typeof);
  70 static int (__typeof);
  71 static int (__typeof__);
  72 
  73 static int (__int128);
  74 static int (__int128_t);
  75 static int (__uint128_t);
  76 
  77 static int (__builtin_ms_va_list);
  78 static int (__builtin_offsetof);
  79 static int (__builtin_types_compatible_p);
  80 static int (__builtin_va_list);
  81 
  82 /*
  83  * check-name: const et.al. are reserved identifiers
  84  * check-error-start
  85 reserved.c:1:12: error: Trying to use reserved word 'auto' as identifier
  86 reserved.c:2:12: error: Trying to use reserved word 'break' as identifier
  87 reserved.c:3:12: error: Trying to use reserved word 'case' as identifier
  88 reserved.c:4:12: error: Trying to use reserved word 'char' as identifier
  89 reserved.c:5:12: error: Trying to use reserved word 'const' as identifier
  90 reserved.c:6:12: error: Trying to use reserved word '__const' as identifier
  91 reserved.c:7:12: error: Trying to use reserved word '__const__' as identifier
  92 reserved.c:8:12: error: Trying to use reserved word 'continue' as identifier
  93 reserved.c:9:12: error: Trying to use reserved word 'default' as identifier
  94 reserved.c:10:12: error: Trying to use reserved word 'do' as identifier
  95 reserved.c:11:12: error: Trying to use reserved word 'double' as identifier
  96 reserved.c:12:12: error: Trying to use reserved word 'else' as identifier
  97 reserved.c:13:12: error: Trying to use reserved word 'enum' as identifier
  98 reserved.c:14:12: error: Trying to use reserved word 'extern' as identifier
  99 reserved.c:15:12: error: Trying to use reserved word 'float' as identifier
 100 reserved.c:16:12: error: Trying to use reserved word 'for' as identifier
 101 reserved.c:17:12: error: Trying to use reserved word 'goto' as identifier
 102 reserved.c:18:12: error: Trying to use reserved word 'if' as identifier
 103 reserved.c:19:12: error: Trying to use reserved word 'inline' as identifier
 104 reserved.c:20:12: error: Trying to use reserved word '__inline' as identifier

 137 reserved.c:54:12: error: Trying to use reserved word '_Thread_local' as identifier
 138 reserved.c:57:12: error: Trying to use reserved word '__context__' as identifier
 139 reserved.c:58:12: error: Trying to use reserved word '__range__' as identifier
 140 reserved.c:59:12: error: Trying to use reserved word '__sizeof_ptr__' as identifier
 141 reserved.c:62:12: error: Trying to use reserved word '__alignof' as identifier
 142 reserved.c:63:12: error: Trying to use reserved word '__alignof__' as identifier
 143 reserved.c:65:12: error: Trying to use reserved word '__asm' as identifier
 144 reserved.c:66:12: error: Trying to use reserved word '__asm__' as identifier
 145 reserved.c:67:12: error: Trying to use reserved word '__label__' as identifier
 146 reserved.c:68:12: error: Trying to use reserved word '__thread' as identifier
 147 reserved.c:69:12: error: Trying to use reserved word 'typeof' as identifier
 148 reserved.c:70:12: error: Trying to use reserved word '__typeof' as identifier
 149 reserved.c:71:12: error: Trying to use reserved word '__typeof__' as identifier
 150 reserved.c:73:12: error: Trying to use reserved word '__int128' as identifier
 151 reserved.c:74:12: error: Trying to use reserved word '__int128_t' as identifier
 152 reserved.c:75:12: error: Trying to use reserved word '__uint128_t' as identifier
 153 reserved.c:77:12: error: Trying to use reserved word '__builtin_ms_va_list' as identifier
 154 reserved.c:78:12: error: Trying to use reserved word '__builtin_offsetof' as identifier
 155 reserved.c:79:12: error: Trying to use reserved word '__builtin_types_compatible_p' as identifier
 156 reserved.c:80:12: error: Trying to use reserved word '__builtin_va_list' as identifier
 157  * check-error-end
 158  */