debug: add __smatch_debug_implied_on/off()
[smatch.git] / validation / 
treea8eaa5e4b018d2f8b9c881b61bd36f5a0b04e8f0
drwxr-xr-x   ..
-rw-r--r-- 37 .gitignore
-rw-r--r-- 444 address_space.c
-rw-r--r-- 889 asm-empty-clobber.c
-rw-r--r-- 661 asm-goto-lables.c
-rw-r--r-- 178 attr-warning.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-- 95 badtype1.c
-rw-r--r-- 605 badtype2.c
-rw-r--r-- 830 badtype3.c
-rw-r--r-- 261 badtype4.c
-rw-r--r-- 77 binary-constant.c
-rw-r--r-- 308 bitfields.c
-rw-r--r-- 344 bug_inline_switch.c
-rw-r--r-- 1047 builtin_safe1.c
-rw-r--r-- 233 builtin_unreachable.c
-rw-r--r-- 785 calling-convention-attributes.c
-rw-r--r-- 347 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-- 494 cond_expr.c
-rw-r--r-- 869 cond_expr2.c
-rw-r--r-- 4521 context.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-- 179 double-semicolon.c
-rw-r--r-- 893 dubious-bitwise-with-not.c
-rw-r--r-- 2065 enum-common.c
-rw-r--r-- 1258 enum-from-int.c
-rw-r--r-- 2222 enum-mismatch.c
-rw-r--r-- 936 enum-to-int.c
-rw-r--r-- 152 enum_scope.c
-rw-r--r-- 757 escapes.c
-rw-r--r-- 391 extern-inline.c
-rw-r--r-- 221 field-overlap.c
-rw-r--r-- 603 foul-bitwise.c
-rw-r--r-- 590 function-pointer-modifier-inheritance.c
-rw-r--r-- 547 identifier_list.c
-rw-r--r-- 416 init-char-array.c
-rw-r--r-- 1139 initializer-entry-defined-twice.c
-rw-r--r-- 203 inline_compound_literals.c
-rw-r--r-- 115 integer-promotions.c
-rw-r--r-- 235 label-asm.c
-rw-r--r-- 139 label-attr.c
-rw-r--r-- 126 label-scope.c
-rw-r--r-- 214 local-label.c
-rw-r--r-- 203 logical.c
-rw-r--r-- 222 member_of_typeof.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-- 788 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-- 334 outer-scope.c
drwxr-xr-x - phase2
drwxr-xr-x - phase3
drwxr-xr-x - preprocessor
-rw-r--r-- 1831 reserved.c
-rw-r--r-- 258 restrict-array.c
-rw-r--r-- 188 restricted-typeof.c
-rw-r--r-- 286 sizeof-bool.c
-rw-r--r-- 150 sizeof-compound-postfix.c
-rw-r--r-- 306 sm_WtoA.c
-rw-r--r-- 350 sm_absolute1.c
-rw-r--r-- 851 sm_absolute2.c
-rw-r--r-- 1173 sm_array_overflow.c
-rw-r--r-- 491 sm_array_overflow2.c
-rw-r--r-- 409 sm_array_overflow3.c
-rw-r--r-- 1066 sm_array_overflow4.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-- 672 sm_buf_size5.c
-rw-r--r-- 775 sm_buf_size6.c
-rw-r--r-- 835 sm_casts.c
-rw-r--r-- 658 sm_casts2.c
-rw-r--r-- 334 sm_casts3.c
-rw-r--r-- 547 sm_check_kunmap.c
-rw-r--r-- 712 sm_compare.c
-rw-r--r-- 664 sm_compare2.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-- 380 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-- 738 sm_get_user1.c
-rw-r--r-- 400 sm_implied.c
-rw-r--r-- 674 sm_implied10.c
-rw-r--r-- 455 sm_implied11.c
-rw-r--r-- 484 sm_implied12.c
-rw-r--r-- 553 sm_implied2.c
-rw-r--r-- 376 sm_implied3.c
-rw-r--r-- 610 sm_implied4.c
-rw-r--r-- 390 sm_implied5.c
-rw-r--r-- 557 sm_implied6.c
-rw-r--r-- 417 sm_implied7.c
-rw-r--r-- 834 sm_implied8.c
-rw-r--r-- 715 sm_implied9.c
-rw-r--r-- 639 sm_locking.c
-rw-r--r-- 675 sm_locking2.c
-rw-r--r-- 609 sm_locking3.c
-rw-r--r-- 590 sm_locking4.c
-rw-r--r-- 878 sm_locking6.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-- 449 sm_loops4.c
-rw-r--r-- 771 sm_macros.c
-rw-r--r-- 606 sm_math1.c
-rw-r--r-- 276 sm_memleak2.c
-rw-r--r-- 447 sm_memory.c
-rw-r--r-- 648 sm_netdevice.c
-rw-r--r-- 952 sm_null_deref.c
-rw-r--r-- 546 sm_null_deref2.c
-rw-r--r-- 2582 sm_overflow.c
-rw-r--r-- 625 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-- 913 sm_precedence.c
-rw-r--r-- 360 sm_propagate.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-- 440 sm_redundant_check.c
-rw-r--r-- 1748 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-- 658 sm_select_assign.c
-rw-r--r-- 1043 sm_skb.c
-rw-r--r-- 428 sm_strlen.c
-rw-r--r-- 635 sm_strlen2.c
-rw-r--r-- 762 sm_switch.c
-rw-r--r-- 673 sm_switch2.c
-rw-r--r-- 464 sm_wine_filehandles.c
-rw-r--r-- 1026 sm_wine_locking.c
-rw-r--r-- 1675 specifiers1.c
-rw-r--r-- 6766 specifiers2.c
-rw-r--r-- 120 static-forward-decl.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-- 241 struct-ns2.c
-rw-r--r-- 301 struct-size1.c
-rw-r--r-- 577 test-be.c
-rwxr-xr-x 5444 test-suite
-rw-r--r-- 496 type1.c
-rw-r--r-- 234 typedef_shadow.c
-rw-r--r-- 361 typeof-attribute.c
-rw-r--r-- 1632 typesign.c
-rw-r--r-- 165 varargs1.c