implied: Preserve ->hard_max for fake history states
[smatch.git] / validation / 
treec3bb09388500e32a2e8a631065e91faaec1b5161
drwxr-xr-x   ..
-rw-r--r-- 37 .gitignore
-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-- 235 Wunknown-attribute-def.c
-rw-r--r-- 203 Wunknown-attribute-no.c
-rw-r--r-- 290 Wunknown-attribute-yes.c
-rw-r--r-- 325 __func__.c
-rw-r--r-- 534 abstract-array-declarator-static.c
-rw-r--r-- 444 address_space.c
-rw-r--r-- 238 alias-distinct.c
-rw-r--r-- 336 alias-mixed.c
-rw-r--r-- 221 alias-same.c
-rw-r--r-- 1304 alloc-align.c
-rw-r--r-- 1679 alternate-keywords.c
-rw-r--r-- 160 anon-union.c
-rw-r--r-- 889 asm-empty-clobber.c
-rw-r--r-- 661 asm-goto-lables.c
-rw-r--r-- 172 asm-toplevel.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-- 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
drwxr-xr-x - backend
-rw-r--r-- 367 bad-array-designated-initializer.c
-rw-r--r-- 224 bad-assignment.c
-rw-r--r-- 278 bad-cast.c
-rw-r--r-- 287 bad-ternary-cond.c
-rw-r--r-- 213 bad-typeof.c
-rw-r--r-- 189 badtype1.c
-rw-r--r-- 656 badtype2.c
-rw-r--r-- 830 badtype3.c
-rw-r--r-- 261 badtype4.c
-rw-r--r-- 479 badtype5.c
-rw-r--r-- 68 binary-constant.c
-rw-r--r-- 1109 bitfield-size.c
-rw-r--r-- 308 bitfields.c
-rw-r--r-- 972 bitwise-cast.c
-rw-r--r-- 831 bool-array.c
-rw-r--r-- 631 bool-cast-bad.c
-rw-r--r-- 635 bool-cast-explicit.c
-rw-r--r-- 629 bool-cast-implicit.c
-rw-r--r-- 1664 bool-cast-restricted.c
-rw-r--r-- 591 bswap-constant-folding.c
-rw-r--r-- 344 bug_inline_switch.c
-rwxr-xr-x 104 build_smatch_db.sh
-rw-r--r-- 1805 builtin-args-checking.c
-rw-r--r-- 733 builtin-bswap-constant.c
-rw-r--r-- 781 builtin-bswap-variable.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-- 981 c11-alignas.c
-rw-r--r-- 199 c11-alignof.c
-rw-r--r-- 195 c11-noreturn.c
-rw-r--r-- 154 c11-stdc-version.c
-rw-r--r-- 176 c11-thread-local.c
-rw-r--r-- 986 c99-for-loop-decl.c
-rw-r--r-- 327 c99-for-loop.c
-rw-r--r-- 785 calling-convention-attributes.c
-rw-r--r-- 519 cast-constant-to-float.c
-rw-r--r-- 5832 cast-constants.c
-rw-r--r-- 6717 cast-kinds.c
-rw-r--r-- 629 check_byte_count-ice.c
-rw-r--r-- 707 choose_expr.c
-rw-r--r-- 269 comma.c
-rw-r--r-- 385 compare-null-to-int.c
-rw-r--r-- 295 compound-assign-type.c
-rw-r--r-- 477 cond-address-array.c
-rw-r--r-- 353 cond-address-function.c
-rw-r--r-- 315 cond-address.c
-rw-r--r-- 530 cond-err-expand.c
-rw-r--r-- 494 cond_expr.c
-rw-r--r-- 869 cond_expr2.c
-rw-r--r-- 622 cond_expr3.c
-rw-r--r-- 1960 conditional-type.c
-rw-r--r-- 482 constexpr-addr-of-static-member.c
-rw-r--r-- 864 constexpr-addr-of-static.c
-rw-r--r-- 1273 constexpr-binop.c
-rw-r--r-- 696 constexpr-cast.c
-rw-r--r-- 536 constexpr-compound-literal.c
-rw-r--r-- 1359 constexpr-conditional.c
-rw-r--r-- 2144 constexpr-init.c
-rw-r--r-- 222 constexpr-labelref.c
-rw-r--r-- 436 constexpr-offsetof.c
-rw-r--r-- 952 constexpr-pointer-arith.c
-rw-r--r-- 344 constexpr-pointer-cast.c
-rw-r--r-- 963 constexpr-preop.c
-rw-r--r-- 475 constexpr-pure-builtin.c
-rw-r--r-- 191 constexpr-string.c
-rw-r--r-- 186 constexpr-types-compatible-p.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-- 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-- 358 discarded-label-statement.c
-rw-r--r-- 940 div.c
-rw-r--r-- 179 double-semicolon.c
-rw-r--r-- 893 dubious-bitwise-with-not.c
-rw-r--r-- 0 empty-file
-rw-r--r-- 333 endian-big.c
-rw-r--r-- 342 endian-little.c
-rw-r--r-- 2065 enum-common.c
-rw-r--r-- 1258 enum-from-int.c
-rw-r--r-- 358 enum-mismatch.c
-rw-r--r-- 936 enum-to-int.c
-rw-r--r-- 152 enum_scope.c
-rw-r--r-- 1259 escapes.c
-rw-r--r-- 249 extern-array.c
-rw-r--r-- 391 extern-inline.c
-rw-r--r-- 221 field-overlap.c
-rw-r--r-- 2699 field-override.c
-rw-r--r-- 251 fored_arg.c
-rw-r--r-- 707 foul-bitwise.c
-rw-r--r-- 214 fp-vs-ptrcast.c
-rw-r--r-- 137 function-pointer-inheritance.c
-rw-r--r-- 2664 function-redecl.c
-rw-r--r-- 304 goto-label.c
-rw-r--r-- 547 identifier_list.c
-rw-r--r-- 395 implicit-ret-type.c
-rw-r--r-- 302 implicit-type.c
-rw-r--r-- 111 include-eval.c
-rw-r--r-- 153 include-eval.inc
-rw-r--r-- 169 infinite-loop0.c
-rw-r--r-- 134 infinite-loop02.c
-rw-r--r-- 203 infinite-loop03.c
-rw-r--r-- 416 init-char-array.c
-rw-r--r-- 839 init-char-array1.c
-rw-r--r-- 288 init_cstring.c
-rw-r--r-- 1308 initializer-entry-defined-twice.c
-rw-r--r-- 203 inline_compound_literals.c
-rw-r--r-- 1952 int128.c
-rw-r--r-- 115 integer-promotions.c
-rw-r--r-- 266 ioc-typecheck.c
-rw-r--r-- 312 kill-casts.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-- 433 kill-load.c
-rw-r--r-- 361 kill-phi-node.c
-rw-r--r-- 414 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-- 404 kill-store.c
-rw-r--r-- 536 kill-unreachable-phi.c
-rw-r--r-- 235 label-asm.c
-rw-r--r-- 139 label-attr.c
-rw-r--r-- 252 label-expr.c
-rw-r--r-- 126 label-scope.c
drwxr-xr-x - linear
-rw-r--r-- 214 local-label.c
-rw-r--r-- 203 logical.c
-rw-r--r-- 2023 loop-linearization.c
-rw-r--r-- 222 member_of_typeof.c
-rw-r--r-- 291 memops-volatile.c
-rw-r--r-- 469 missing-ident.c
-rw-r--r-- 241 multi_typedef.c
-rw-r--r-- 813 nested-declarator.c
-rw-r--r-- 1242 nested-declarator2.c
-rw-r--r-- 5134 nocast.c
-rw-r--r-- 788 noderef.c
-rw-r--r-- 209 non-ansi-function-declaration.c
-rw-r--r-- 191 non-pointer-null.c
-rw-r--r-- 167 old-initializer-nowarn.c
-rw-r--r-- 215 old-initializer.c
drwxr-xr-x - optim
-rw-r--r-- 334 outer-scope.c
drwxr-xr-x - phase2
drwxr-xr-x - phase3
-rw-r--r-- 73 pragma-once.c
drwxr-xr-x - preprocessor
-rw-r--r-- 127 prototype.c
-rw-r--r-- 2030 ptr-inherit.c
-rw-r--r-- 219 pure-function.c
-rw-r--r-- 7445 reserved.c
-rw-r--r-- 979 restrict-array.c
-rw-r--r-- 188 restricted-typeof.c
-rw-r--r-- 331 sizeof-bool.c
-rw-r--r-- 150 sizeof-compound-postfix.c
-rw-r--r-- 1199 sizeof-void.c
-rw-r--r-- 308 sm_WtoA.c
-rw-r--r-- 350 sm_absolute1.c
-rw-r--r-- 851 sm_absolute2.c
-rw-r--r-- 1203 sm_array_overflow.c
-rw-r--r-- 491 sm_array_overflow2.c
-rw-r--r-- 410 sm_array_overflow3.c
-rw-r--r-- 1066 sm_array_overflow4.c
-rw-r--r-- 508 sm_array_overflow5.c
-rw-r--r-- 529 sm_bitwise1.c
-rw-r--r-- 381 sm_bitwise2.c
-rw-r--r-- 575 sm_buf_size1.c
-rw-r--r-- 529 sm_buf_size2.c
-rw-r--r-- 413 sm_buf_size3.c
-rw-r--r-- 500 sm_buf_size4.c
-rw-r--r-- 673 sm_buf_size5.c
-rw-r--r-- 776 sm_buf_size6.c
-rw-r--r-- 618 sm_buf_size7.c
-rw-r--r-- 991 sm_buf_size8.c
-rw-r--r-- 834 sm_casts.c
-rw-r--r-- 658 sm_casts2.c
-rw-r--r-- 334 sm_casts3.c
-rw-r--r-- 1002 sm_casts4.c
-rw-r--r-- 929 sm_casts5.c
-rw-r--r-- 924 sm_casts6.c
-rw-r--r-- 331 sm_casts7.c
-rw-r--r-- 552 sm_check_kunmap.c
-rw-r--r-- 481 sm_chunk1.c
-rw-r--r-- 768 sm_chunk2.c
-rw-r--r-- 712 sm_compare.c
-rw-r--r-- 317 sm_compare10.c
-rw-r--r-- 383 sm_compare11.c
-rw-r--r-- 792 sm_compare12.c
-rw-r--r-- 469 sm_compare13.c
-rw-r--r-- 491 sm_compare14.c
-rw-r--r-- 371 sm_compare15.c
-rw-r--r-- 373 sm_compare16.c
-rw-r--r-- 421 sm_compare17.c
-rw-r--r-- 664 sm_compare2.c
-rw-r--r-- 988 sm_compare3.c
-rw-r--r-- 632 sm_compare4.c
-rw-r--r-- 546 sm_compare5.c
-rw-r--r-- 307 sm_compare6.c
-rw-r--r-- 402 sm_compare7.c
-rw-r--r-- 279 sm_compare8.c
-rw-r--r-- 279 sm_compare9.c
-rw-r--r-- 444 sm_compound_condition.c
-rw-r--r-- 1556 sm_compound_conditions2.c
-rw-r--r-- 638 sm_compound_conditions3.c
-rw-r--r-- 626 sm_deref_check_deref.c
-rw-r--r-- 378 sm_dev_hold.c
-rw-r--r-- 287 sm_double_free1.c
-rw-r--r-- 354 sm_double_free2.c
-rw-r--r-- 355 sm_efault.c
-rw-r--r-- 797 sm_equiv1.c
-rw-r--r-- 544 sm_equiv2.c
-rw-r--r-- 511 sm_equiv3.c
-rw-r--r-- 383 sm_equiv4.c
-rw-r--r-- 368 sm_err_ptr.c
-rw-r--r-- 494 sm_fake_assignment.c
-rw-r--r-- 738 sm_get_user1.c
-rw-r--r-- 411 sm_implied.c
-rw-r--r-- 690 sm_implied10.c
-rw-r--r-- 468 sm_implied11.c
-rw-r--r-- 497 sm_implied12.c
-rw-r--r-- 381 sm_implied13.c
-rw-r--r-- 806 sm_implied14.c
-rw-r--r-- 586 sm_implied15.c
-rw-r--r-- 630 sm_implied16.c
-rw-r--r-- 452 sm_implied17.c
-rw-r--r-- 434 sm_implied18.c
-rw-r--r-- 426 sm_implied19.c
-rw-r--r-- 564 sm_implied2.c
-rw-r--r-- 376 sm_implied3.c
-rw-r--r-- 610 sm_implied4.c
-rw-r--r-- 401 sm_implied5.c
-rw-r--r-- 566 sm_implied6.c
-rw-r--r-- 417 sm_implied7.c
-rw-r--r-- 840 sm_implied8.c
-rw-r--r-- 715 sm_implied9.c
-rw-r--r-- 505 sm_impossible1.c
-rw-r--r-- 503 sm_impossible2.c
-rw-r--r-- 422 sm_impossible3.c
-rw-r--r-- 319 sm_indirection1.c
-rw-r--r-- 618 sm_indirection2.c
-rw-r--r-- 658 sm_initializer.c
-rw-r--r-- 601 sm_inline1.c
-rw-r--r-- 392 sm_inline2.c
-rw-r--r-- 710 sm_inline3.c
-rw-r--r-- 690 sm_locking.c
-rw-r--r-- 717 sm_locking2.c
-rw-r--r-- 665 sm_locking3.c
-rw-r--r-- 622 sm_locking4.c
-rw-r--r-- 1002 sm_locking6.c
-rw-r--r-- 743 sm_locking7.c
-rw-r--r-- 730 sm_loops1.c
-rw-r--r-- 834 sm_loops2.c
-rw-r--r-- 360 sm_loops3.c
-rw-r--r-- 451 sm_loops4.c
-rw-r--r-- 306 sm_loops5.c
-rw-r--r-- 1013 sm_loops6.c
-rw-r--r-- 778 sm_macros.c
-rw-r--r-- 611 sm_math1.c
-rw-r--r-- 467 sm_math2.c
-rw-r--r-- 276 sm_memleak2.c
-rw-r--r-- 515 sm_memory.c
-rw-r--r-- 572 sm_mod.c
-rw-r--r-- 803 sm_mtag1.c
-rw-r--r-- 762 sm_mtag2.c
-rw-r--r-- 666 sm_mtag3.c
-rw-r--r-- 746 sm_mtag4.c
-rw-r--r-- 736 sm_mtag5.c
-rw-r--r-- 529 sm_mtag6.c
-rw-r--r-- 698 sm_mtag7.c
-rw-r--r-- 648 sm_netdevice.c
-rw-r--r-- 825 sm_null_deref.c
-rw-r--r-- 546 sm_null_deref2.c
-rw-r--r-- 2582 sm_overflow.c
-rw-r--r-- 566 sm_overflow3.c
-rw-r--r-- 386 sm_overflow4.c
-rw-r--r-- 384 sm_overflow5.c
-rw-r--r-- 727 sm_overflow6.c
-rw-r--r-- 364 sm_pointer_assign.c
-rw-r--r-- 913 sm_precedence.c
-rw-r--r-- 353 sm_range1.c
-rw-r--r-- 868 sm_range2.c
-rw-r--r-- 1587 sm_range3.c
-rw-r--r-- 622 sm_range4.c
-rw-r--r-- 381 sm_range5.c
-rw-r--r-- 482 sm_range6.c
-rw-r--r-- 374 sm_real_absolute1.c
-rw-r--r-- 1762 sm_rosenberg.c
-rw-r--r-- 739 sm_select.c
-rw-r--r-- 2446 sm_select3.c
-rw-r--r-- 445 sm_select4.c
-rw-r--r-- 512 sm_select5.c
-rw-r--r-- 658 sm_select_assign.c
-rw-r--r-- 1043 sm_skb.c
-rw-r--r-- 1270 sm_skb2.c
-rw-r--r-- 462 sm_skb3.c
-rw-r--r-- 428 sm_strlen.c
-rw-r--r-- 672 sm_strlen2.c
-rw-r--r-- 427 sm_strlen3.c
-rw-r--r-- 622 sm_struct_assign1.c
-rw-r--r-- 833 sm_switch.c
-rw-r--r-- 745 sm_switch2.c
-rw-r--r-- 588 sm_switch3.c
-rw-r--r-- 512 sm_user_data1.c
-rw-r--r-- 549 sm_user_data2.c
-rw-r--r-- 733 sm_user_data3.c
-rw-r--r-- 803 sm_user_data4.c
-rw-r--r-- 310 sm_val_parse1.c
-rw-r--r-- 464 sm_wine_filehandles.c
-rw-r--r-- 1036 sm_wine_locking.c
-rwxr-xr-x 96 smatch_db_test.sh
-rw-r--r-- 1675 specifiers1.c
-rw-r--r-- 6766 specifiers2.c
-rw-r--r-- 226 static-forward-decl.c
-rw-r--r-- 1688 static_assert.c
-rw-r--r-- 306 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-- 1543 tautological-compare.c
-rw-r--r-- 577 test-be.c
-rwxr-xr-x 8911 test-suite
-rw-r--r-- 161 testsuite-selfcheck1.c
-rw-r--r-- 153 testsuite-selfcheck2.c
-rw-r--r-- 153 testsuite-selfcheck3.c
-rw-r--r-- 324 transparent-union.c
-rw-r--r-- 442 type-attribute-align.c
-rw-r--r-- 747 type-attribute-as.c
-rw-r--r-- 277 type-attribute-mod.c
-rw-r--r-- 496 type1.c
-rw-r--r-- 288 typedef_shadow.c
-rw-r--r-- 393 typeof-addresspace.c
-rw-r--r-- 361 typeof-attribute.c
-rw-r--r-- 1901 typeof-mods.c
-rw-r--r-- 312 typeof-noderef.c
-rw-r--r-- 373 typeof-safe.c
-rw-r--r-- 1632 typesign.c
-rw-r--r-- 165 varargs1.c
-rw-r--r-- 189 wide.c