estate: introduce estate_ranges() helper function
[smatch.git] / validation / 
treeb554a422cb59e9e00fa15c122219a1ae6c1afb88
drwxr-xr-x   ..
-rw-r--r-- 37 .gitignore
-rw-r--r-- 444 address_space.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-- 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-- 31 badtype1.c
-rw-r--r-- 138 badtype2.c
-rw-r--r-- 145 badtype3.c
-rw-r--r-- 261 badtype4.c
-rw-r--r-- 256 bitfields.c
-rw-r--r-- 477 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-- 199 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-- 200 escapes.c
-rw-r--r-- 391 extern-inline.c
-rw-r--r-- 184 field-overlap.c
-rw-r--r-- 251 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-- 155 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-- 150 sizeof-compound-postfix.c
-rw-r--r-- 307 sm_WtoA.c
-rw-r--r-- 1189 sm_array_overflow.c
-rw-r--r-- 492 sm_array_overflow2.c
-rw-r--r-- 410 sm_array_overflow3.c
-rw-r--r-- 1076 sm_array_overflow4.c
-rw-r--r-- 865 sm_casts.c
-rw-r--r-- 655 sm_casts2.c
-rw-r--r-- 550 sm_check_kunmap.c
-rw-r--r-- 717 sm_compare.c
-rw-r--r-- 675 sm_compare2.c
-rw-r--r-- 446 sm_compound_condition.c
-rw-r--r-- 1587 sm_compound_conditions2.c
-rw-r--r-- 631 sm_compound_conditions3.c
-rw-r--r-- 629 sm_deref_check_deref.c
-rw-r--r-- 382 sm_dev_hold.c
-rw-r--r-- 288 sm_double_free1.c
-rw-r--r-- 356 sm_double_free2.c
-rw-r--r-- 356 sm_efault.c
-rw-r--r-- 781 sm_equiv1.c
-rw-r--r-- 552 sm_equiv2.c
-rw-r--r-- 509 sm_equiv3.c
-rw-r--r-- 375 sm_equiv4.c
-rw-r--r-- 369 sm_err_ptr.c
-rw-r--r-- 743 sm_get_user1.c
-rw-r--r-- 402 sm_implied.c
-rw-r--r-- 662 sm_implied10.c
-rw-r--r-- 555 sm_implied2.c
-rw-r--r-- 350 sm_implied3.c
-rw-r--r-- 612 sm_implied4.c
-rw-r--r-- 392 sm_implied5.c
-rw-r--r-- 557 sm_implied6.c
-rw-r--r-- 408 sm_implied7.c
-rw-r--r-- 815 sm_implied8.c
-rw-r--r-- 708 sm_implied9.c
-rw-r--r-- 643 sm_locking.c
-rw-r--r-- 679 sm_locking2.c
-rw-r--r-- 613 sm_locking3.c
-rw-r--r-- 592 sm_locking4.c
-rw-r--r-- 882 sm_locking6.c
-rw-r--r-- 742 sm_loops1.c
-rw-r--r-- 831 sm_loops2.c
-rw-r--r-- 362 sm_loops3.c
-rw-r--r-- 450 sm_loops4.c
-rw-r--r-- 779 sm_macros.c
-rw-r--r-- 606 sm_math1.c
-rw-r--r-- 277 sm_memleak2.c
-rw-r--r-- 449 sm_memory.c
-rw-r--r-- 651 sm_netdevice.c
-rw-r--r-- 959 sm_null_deref.c
-rw-r--r-- 548 sm_null_deref2.c
-rw-r--r-- 2583 sm_overflow.c
-rw-r--r-- 630 sm_overflow3.c
-rw-r--r-- 387 sm_overflow4.c
-rw-r--r-- 385 sm_overflow5.c
-rw-r--r-- 730 sm_overflow6.c
-rw-r--r-- 921 sm_precedence.c
-rw-r--r-- 359 sm_propagate.c
-rw-r--r-- 353 sm_range1.c
-rw-r--r-- 852 sm_range2.c
-rw-r--r-- 1564 sm_range3.c
-rw-r--r-- 614 sm_range4.c
-rw-r--r-- 442 sm_redundant_check.c
-rw-r--r-- 1756 sm_rosenberg.c
-rw-r--r-- 830 sm_select.c
-rw-r--r-- 341 sm_select2.c
-rw-r--r-- 2390 sm_select3.c
-rw-r--r-- 454 sm_select4.c
-rw-r--r-- 662 sm_select_assign.c
-rw-r--r-- 1048 sm_skb.c
-rw-r--r-- 429 sm_strlen.c
-rw-r--r-- 639 sm_strlen2.c
-rw-r--r-- 762 sm_switch.c
-rw-r--r-- 673 sm_switch2.c
-rw-r--r-- 466 sm_wine_filehandles.c
-rw-r--r-- 1032 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-- 175 struct-ns2.c
-rw-r--r-- 266 struct-size1.c
-rw-r--r-- 537 test-be.c
-rwxr-xr-x 5416 test-suite
-rw-r--r-- 442 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