slice: remove unneeded nr_nrbits from EXPR_SLICE
[smatch.git] / validation / 
tree2fd80bfde423a71b956be76e373ce1ebd7e296e9
drwxr-xr-x   ..
-rw-r--r-- 37 .gitignore
-rw-r--r-- 432 Waddress-array.c
-rw-r--r-- 314 Waddress-function.c
-rw-r--r-- 2544 Waddress-space-all-attr.c
-rw-r--r-- 2002 Waddress-space-from.c
-rw-r--r-- 988 Waddress-space-strict.c
-rw-r--r-- 618 Waddress-weak.c
-rw-r--r-- 3832 Waddress.c
-rw-r--r-- 708 Wcast-to-as.c
-rw-r--r-- 302 Woverride-init-def.c
-rw-r--r-- 205 Woverride-init-no.c
-rw-r--r-- 318 Woverride-init-yes.c
-rw-r--r-- 653 Wuniv-init-ko.c
-rw-r--r-- 523 Wuniv-init-ok.c
-rw-r--r-- 103 Wunknown-attribute-def.c
-rw-r--r-- 203 Wunknown-attribute-no.c
-rw-r--r-- 279 Wunknown-attribute-yes.c
-rw-r--r-- 139 __func__-scope.c
-rw-r--r-- 325 __func__.c
-rw-r--r-- 543 abi-integer.c
-rw-r--r-- 570 abstract-array-declarator-quals.c
-rw-r--r-- 138 abstract-array-declarator-star.c
-rw-r--r-- 534 abstract-array-declarator-static.c
-rw-r--r-- 268 abstract-array-declarator.c
-rw-r--r-- 445 address_space.c
-rw-r--r-- 1304 alloc-align.c
-rw-r--r-- 1679 alternate-keywords.c
-rw-r--r-- 160 anon-union.c
drwxr-xr-x - arch
-rw-r--r-- 475 array-implicit-size.c
-rw-r--r-- 384 as-name.c
-rw-r--r-- 877 asm-bad0.c
-rw-r--r-- 888 asm-empty-clobber.c
-rw-r--r-- 661 asm-goto-labels.c
-rw-r--r-- 1524 asm-inline.c
-rw-r--r-- 1674 attr-context.c
-rw-r--r-- 380 attr-inline.c
-rw-r--r-- 169 attr-no_sanitize_address.c
-rw-r--r-- 122 attr-noclone.c
-rw-r--r-- 258 attr-optimize.c
-rw-r--r-- 179 attr-visible.c
-rw-r--r-- 177 attr-visible2.c
-rw-r--r-- 178 attr-warning.c
-rw-r--r-- 162 attr_aligned.c
-rw-r--r-- 237 attr_in_parameter.c
-rw-r--r-- 127 attr_vector_size.c
-rw-r--r-- 1689 autotype-ko.c
-rw-r--r-- 1315 autotype.c
drwxr-xr-x - backend
-rw-r--r-- 367 bad-array-designated-initializer.c
-rw-r--r-- 285 bad-assignment.c
-rw-r--r-- 278 bad-cast.c
-rw-r--r-- 479 bad-check-access0.c
-rw-r--r-- 306 bad-return-type.c
-rw-r--r-- 287 bad-ternary-cond.c
-rw-r--r-- 195 bad-type-twice0.c
-rw-r--r-- 334 bad-type-twice1.c
-rw-r--r-- 434 bad-type-twice2.c
-rw-r--r-- 213 bad-typeof.c
-rw-r--r-- 189 badtype1.c
-rw-r--r-- 723 badtype2.c
-rw-r--r-- 899 badtype3.c
-rw-r--r-- 261 badtype4.c
-rw-r--r-- 479 badtype5.c
-rw-r--r-- 68 binary-constant.c
-rw-r--r-- 556 bitfield-bool-layout.c
-rw-r--r-- 217 bitfield-kr.c
-rw-r--r-- 708 bitfield-sizes.c
-rw-r--r-- 308 bitfields.c
-rw-r--r-- 912 bitwise-cast-ptr.c
-rw-r--r-- 1093 bitwise-cast.c
-rw-r--r-- 477 bitwise-function-pointer.c
-rw-r--r-- 831 bool-array.c
-rw-r--r-- 631 bool-cast-bad.c
-rw-r--r-- 1664 bool-cast-restricted.c
-rw-r--r-- 186 bool-float.c
-rw-r--r-- 591 bswap-constant-folding.c
-rw-r--r-- 308 bug-bad-type.c
-rw-r--r-- 112 bug-crash16.c
-rw-r--r-- 391 bug-rshift-ub.c
-rw-r--r-- 344 bug_inline_switch.c
-rw-r--r-- 1805 builtin-args-checking.c
-rw-r--r-- 2353 builtin-arith.c
-rw-r--r-- 373 builtin-atomic-clear.c
-rw-r--r-- 733 builtin-bswap-constant.c
-rw-r--r-- 782 builtin-bswap-variable.c
-rw-r--r-- 2846 builtin-fp-unop.c
-rw-r--r-- 413 builtin-objsize-dyn.c
-rw-r--r-- 557 builtin-objsize0.c
-rw-r--r-- 408 builtin-objsize1.c
-rw-r--r-- 11657 builtin-overflow.c
-rw-r--r-- 310 builtin-prototype.c
-rw-r--r-- 547 builtin-sync-cas.c
-rw-r--r-- 452 builtin-sync-fetch.c
-rw-r--r-- 739 builtin_atomic.c
-rw-r--r-- 225 builtin_bswap.c
-rw-r--r-- 535 builtin_inf.c
-rw-r--r-- 1047 builtin_safe1.c
-rw-r--r-- 233 builtin_unreachable.c
-rw-r--r-- 344 builtin_va_arg_pack.c
-rw-r--r-- 982 c11-alignas.c
-rw-r--r-- 200 c11-alignof.c
-rw-r--r-- 4139 c11-atomic.c
-rw-r--r-- 197 c11-noreturn.c
-rw-r--r-- 154 c11-stdc-version.c
-rw-r--r-- 178 c11-thread-local.c
-rw-r--r-- 986 c99-for-loop-decl.c
-rw-r--r-- 327 c99-for-loop.c
-rw-r--r-- 956 call-inlined.c
-rw-r--r-- 473 call-variadic.c
-rw-r--r-- 785 calling-convention-attributes.c
-rw-r--r-- 796 cast-bad-00.c
-rw-r--r-- 217 cast-bad-01.c
-rw-r--r-- 818 cast-kinds-check.c
-rw-r--r-- 571 cast-weirds.c
-rw-r--r-- 176 char-signed-native.c
-rw-r--r-- 172 char-signed.c
-rw-r--r-- 228 char-unsigned-native.c
-rw-r--r-- 227 char-unsigned.c
-rw-r--r-- 233 check_access-multi.c
-rw-r--r-- 354 check_access-store.c
-rw-r--r-- 653 check_byte_count-ice.c
-rw-r--r-- 670 choose_expr.c
-rw-r--r-- 269 comma.c
-rw-r--r-- 347 compare-null-to-int.c
-rw-r--r-- 387 compound-assign-type.c
-rw-r--r-- 1829 compound-sizes.c
-rw-r--r-- 322 cond-address.c
-rw-r--r-- 667 cond-err-expand.c
-rw-r--r-- 476 cond_expr.c
-rw-r--r-- 869 cond_expr2.c
-rw-r--r-- 622 cond_expr3.c
-rw-r--r-- 1944 conditional-type.c
-rw-r--r-- 382 constant-suffix-32.c
-rw-r--r-- 399 constant-suffix-64.c
-rw-r--r-- 465 constexpr-addr-of-static-member.c
-rw-r--r-- 847 constexpr-addr-of-static.c
-rw-r--r-- 1254 constexpr-binop.c
-rw-r--r-- 677 constexpr-cast.c
-rw-r--r-- 523 constexpr-compound-literal.c
-rw-r--r-- 1329 constexpr-conditional.c
-rw-r--r-- 141 constexpr-constcond.c
-rw-r--r-- 2134 constexpr-init.c
-rw-r--r-- 212 constexpr-labelref.c
-rw-r--r-- 426 constexpr-offsetof.c
-rw-r--r-- 942 constexpr-pointer-arith.c
-rw-r--r-- 334 constexpr-pointer-cast.c
-rw-r--r-- 1076 constexpr-preop.c
-rw-r--r-- 475 constexpr-pure-builtin.c
-rw-r--r-- 259 constexpr-shift.c
-rw-r--r-- 180 constexpr-string.c
-rw-r--r-- 175 constexpr-types-compatible-p.c
-rw-r--r-- 2328 context-stmt.c
-rw-r--r-- 175 context-unreachable.c
-rw-r--r-- 4520 context.c
-rw-r--r-- 247 crash-add-doms.c
-rw-r--r-- 138 crash-bb_target.c
-rw-r--r-- 168 crash-ep-active.c
-rw-r--r-- 417 crash-ptrlist.c
-rw-r--r-- 290 crash-rewrite-branch.c
-rw-r--r-- 167 crash-select.c
-rw-r--r-- 221 crash-undef-in-parens.c
-rw-r--r-- 598 crazy02-not-so.c
-rw-r--r-- 357 crazy03.c
-rw-r--r-- 257 declaration-after-statement-ansi.c
-rw-r--r-- 258 declaration-after-statement-c89.c
-rw-r--r-- 141 declaration-after-statement-c99.c
-rw-r--r-- 136 declaration-after-statement-default.c
-rw-r--r-- 153 definitions.c
-rw-r--r-- 7254 designated-init.c
-rw-r--r-- 940 div.c
drwxr-xr-x - doc
-rw-r--r-- 179 double-semicolon.c
-rw-r--r-- 893 dubious-bitwise-with-not.c
-rw-r--r-- 729 dup-defs-local.c
-rw-r--r-- 190 empty-assign.c
-rw-r--r-- 165 empty-char-constant.c
-rw-r--r-- 357 empty-expr.c
-rw-r--r-- 0 empty-file
-rw-r--r-- 172 empty-initializer.c
-rw-r--r-- 333 endian-big.c
-rw-r--r-- 342 endian-little.c
-rw-r--r-- 390 enum+mode.c
-rw-r--r-- 409 enum-base-type.c
-rw-r--r-- 478 enum-bitwise-bad.c
-rw-r--r-- 579 enum-bitwise-mixed.c
-rw-r--r-- 436 enum-bitwise.c
-rw-r--r-- 502 enum-bounds.c
-rw-r--r-- 97 enum-init-constness.c
-rw-r--r-- 213 enum-invalid.c
-rw-r--r-- 725 enum-min-size.c
-rw-r--r-- 366 enum-mismatch.c
-rw-r--r-- 295 enum-same-type.c
-rw-r--r-- 212 enum-sign-extend.c
-rw-r--r-- 1982 enum-sign-gcc.c
-rw-r--r-- 580 enum-type-dubious.c
-rw-r--r-- 598 enum-type-exotic.c
-rw-r--r-- 976 enum-typecheck.c
-rw-r--r-- 152 enum_scope.c
-rw-r--r-- 191 error-at-eof.c
-rw-r--r-- 1259 escapes.c
-rw-r--r-- 336 eval-bad-assign1.c
-rw-r--r-- 352 eval-bad-assign2.c
-rw-r--r-- 326 eval-typeof-vla.c
drwxr-xr-x - eval
drwxr-xr-x - expand
-rw-r--r-- 249 extern-array.c
-rw-r--r-- 391 extern-inline.c
-rw-r--r-- 253 fdiag-prefix.c
-rw-r--r-- 221 field-overlap.c
-rw-r--r-- 2699 field-override.c
-rw-r--r-- 346 flex-array-align.c
-rw-r--r-- 256 flex-array-array.c
-rw-r--r-- 475 flex-array-error.c
-rw-r--r-- 521 flex-array-nested.c
-rw-r--r-- 297 flex-array-sizeof.c
-rw-r--r-- 202 flex-array-union-array-no.c
-rw-r--r-- 324 flex-array-union-array-yes.c
-rw-r--r-- 111 flex-array-union-array.h
-rw-r--r-- 251 fored_arg.c
-rw-r--r-- 707 foul-bitwise.c
-rw-r--r-- 164 foul-scalar.c
-rw-r--r-- 931 fp-ops.c
-rw-r--r-- 193 function-attribute-inner.c
-rw-r--r-- 1000 function-attribute-pointer.c
-rw-r--r-- 202 function-attribute-void-ptr.c
-rw-r--r-- 268 function-attribute.c
-rw-r--r-- 137 function-pointer-inheritance.c
-rw-r--r-- 419 function-pointer-type.c
-rw-r--r-- 237 function-redecl-funattr.c
-rw-r--r-- 4411 function-redecl.c
-rw-r--r-- 389 function-redecl2.c
-rw-r--r-- 885 generic-bad0.c
-rw-r--r-- 656 generic-dr481.c
-rw-r--r-- 584 generic-functions.c
-rw-r--r-- 652 generic-schar.c
-rw-r--r-- 2217 generic-typename.c
-rw-r--r-- 304 goto-label.c
-rw-r--r-- 200 goto-reserved.c
-rw-r--r-- 547 identifier_list.c
-rw-r--r-- 291 implicit-KR-arg-type0.c
-rw-r--r-- 491 implicit-KR-arg-type1.c
-rw-r--r-- 395 implicit-ret-type.c
-rw-r--r-- 302 implicit-type.c
-rw-r--r-- 359 inc-dec-float.c
-rw-r--r-- 111 include-eval.c
-rw-r--r-- 153 include-eval.inc
-rw-r--r-- 416 incomplete-struct.c
-rw-r--r-- 169 infinite-loop0.c
-rw-r--r-- 436 infinite-loop01.c
-rw-r--r-- 152 infinite-loop02.c
-rw-r--r-- 221 infinite-loop03.c
-rw-r--r-- 216 infinite-loop04.c
-rw-r--r-- 416 init-char-array.c
-rw-r--r-- 839 init-char-array1.c
-rw-r--r-- 1517 init-wstring.c
-rw-r--r-- 398 init_cstring.c
-rw-r--r-- 1308 initializer-entry-defined-twice.c
-rw-r--r-- 255 inline-generic.c
-rw-r--r-- 611 inline_base0.c
-rw-r--r-- 203 inline_compound_literals.c
-rw-r--r-- 111 inline_self.c
-rw-r--r-- 1951 int128.c
-rw-r--r-- 2098 integer-const-expr.c
-rw-r--r-- 115 integer-promotions.c
-rw-r--r-- 200 ioc-typecheck.c
-rw-r--r-- 227 kill-computedgoto.c
-rw-r--r-- 347 kill-cse.c
-rw-r--r-- 253 kill-insert-branch.c
-rw-r--r-- 428 kill-load.c
-rw-r--r-- 361 kill-phi-node.c
-rw-r--r-- 415 kill-phi-ttsbb.c
-rw-r--r-- 690 kill-phi-ttsbb2.c
-rw-r--r-- 260 kill-phisrc.c
-rw-r--r-- 436 kill-pure-call.c
-rw-r--r-- 950 kill-replaced-insn.c
-rw-r--r-- 206 kill-rewritten-load.c
-rw-r--r-- 220 kill-select.c
-rw-r--r-- 253 kill-slice.c
-rw-r--r-- 399 kill-store.c
-rw-r--r-- 205 kill-switch.c
-rw-r--r-- 536 kill-unreachable-phi.c
-rw-r--r-- 244 label-asm.c
-rw-r--r-- 150 label-attr.c
-rw-r--r-- 206 label-redefined.c
-rw-r--r-- 1461 label-scope-cgoto.c
-rw-r--r-- 90 label-scope.c
-rw-r--r-- 494 label-scope1.c
-rw-r--r-- 349 label-scope2.c
-rw-r--r-- 681 label-stmt-expr0.c
-rw-r--r-- 439 label-stmt-expr1.c
-rw-r--r-- 898 label-stmt-expr2.c
-rw-r--r-- 329 label-unused.c
drwxr-xr-x - linear
-rw-r--r-- 214 local-label.c
-rw-r--r-- 203 logical.c
drwxr-xr-x - mem2reg
-rw-r--r-- 222 member_of_typeof.c
-rw-r--r-- 342 memops-volatile.c
drwxr-xr-x - memops
-rw-r--r-- 469 missing-ident.c
-rw-r--r-- 348 missing-return.c
-rw-r--r-- 176 multi-input.c
-rw-r--r-- 241 multi_typedef.c
-rw-r--r-- 811 nested-declarator.c
-rw-r--r-- 1240 nested-declarator2.c
-rw-r--r-- 576 nested-functions.c
-rw-r--r-- 5151 nocast.c
-rw-r--r-- 779 noderef.c
-rw-r--r-- 191 non-pointer-null.c
-rw-r--r-- 167 old-initializer-nowarn.c
-rw-r--r-- 215 old-initializer.c
-rw-r--r-- 199 old-style-definition0.c
-rw-r--r-- 314 old-style-definition1.c
drwxr-xr-x - optim
-rw-r--r-- 87 option-parsing-00.c
-rw-r--r-- 90 option-parsing-01.c
-rw-r--r-- 334 outer-scope.c
-rw-r--r-- 345 overflow.c
-rw-r--r-- 848 packed-bitfield0.c
-rw-r--r-- 361 packed-bitfield1.c
-rw-r--r-- 235 packed-bitfield2.c
-rw-r--r-- 489 packed-bitfield3.c
-rw-r--r-- 303 packed-bitfield4.c
-rw-r--r-- 331 packed-bitfield5.c
-rw-r--r-- 331 packed-deref0.c
-rw-r--r-- 666 packed-struct.c
drwxr-xr-x - parsing
-rw-r--r-- 379 plain-char-compatibility.c
-rw-r--r-- 73 pragma-once.c
drwxr-xr-x - preprocessor
-rw-r--r-- 127 prototype.c
-rw-r--r-- 1986 ptr-inherit.c
-rw-r--r-- 415 ptr-sub-blows.c
-rw-r--r-- 335 pure-function.c
-rw-r--r-- 445 range-syntax.c
-rw-r--r-- 1533 repeat.h
-rw-r--r-- 7443 reserved.c
-rw-r--r-- 979 restrict-array.c
-rw-r--r-- 3142 restrict.c
-rw-r--r-- 188 restricted-typeof.c
-rw-r--r-- 229 self-quote-args.c
-rw-r--r-- 603 shift-negative.c
-rw-r--r-- 573 shift-undef-long.c
-rw-r--r-- 4249 shift-undef.c
-rw-r--r-- 332 sizeof-bool.c
-rw-r--r-- 292 sizeof-builtin.c
-rw-r--r-- 150 sizeof-compound-postfix.c
-rw-r--r-- 1061 sizeof-function.c
-rw-r--r-- 813 sizeof-incomplete-type.c
-rw-r--r-- 1199 sizeof-void.c
-rw-r--r-- 1675 specifiers1.c
-rw-r--r-- 6766 specifiers2.c
-rw-r--r-- 180 static-forward-decl.c
-rw-r--r-- 1860 static_assert.c
-rw-r--r-- 385 storage-struct-member.c
-rw-r--r-- 162 strict-prototypes0.c
-rw-r--r-- 475 strict-prototypes1.c
-rw-r--r-- 313 struct-as.c
-rw-r--r-- 109 struct-attribute-placement.c
-rw-r--r-- 463 struct-ns1.c
-rw-r--r-- 473 struct-ns2.c
-rw-r--r-- 301 struct-size1.c
-rw-r--r-- 594 switch-long.c
-rw-r--r-- 1543 tautological-compare.c
-rwxr-xr-x 14791 test-suite
-rw-r--r-- 324 transparent-union.c
-rw-r--r-- 442 type-attribute-align.c
-rw-r--r-- 704 type-attribute-as.c
-rw-r--r-- 277 type-attribute-mod.c
-rw-r--r-- 299 type-attribute-qual.c
-rw-r--r-- 2154 type-compare.c
-rw-r--r-- 496 type1.c
-rw-r--r-- 319 typedef-redef-c89.c
-rw-r--r-- 398 typedef-redef.c
-rw-r--r-- 286 typedef_shadow.c
-rw-r--r-- 388 typediff-arraysize.c
-rw-r--r-- 1232 typediff-enum.c
-rw-r--r-- 393 typeof-addresspace.c
-rw-r--r-- 361 typeof-attribute.c
-rw-r--r-- 370 typeof-bad.c
-rw-r--r-- 2396 typeof-mods.c
-rw-r--r-- 312 typeof-noderef.c
-rw-r--r-- 809 typeof-safe.c
-rw-r--r-- 1632 typesign.c
-rw-r--r-- 222 usual-conv-lp32.c
-rw-r--r-- 385 var-undef-partial.c
-rw-r--r-- 165 varargs1.c
-rw-r--r-- 422 vla-sizeof-ice.c
-rw-r--r-- 428 vla-sizeof.c
-rw-r--r-- 311 vla-sizeof0.c
-rw-r--r-- 371 vla-sizeof1.c
-rw-r--r-- 362 vla-sizeof2.c
-rw-r--r-- 377 vla-sizeof3.c
-rw-r--r-- 444 vla-sizeof4.c
-rw-r--r-- 189 wide.c