constraints: handle conditions like "if (8 < x) {"
[smatch.git] / validation / 
tree1389d6b5dd967a49d925e9c464d0358022178f99
drwxr-xr-x   ..
-rw-r--r-- 37 .gitignore
-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-- 160 anon-union.c
-rw-r--r-- 889 asm-empty-clobber.c
-rw-r--r-- 661 asm-goto-lables.c
-rw-r--r-- 122 attr-noclone.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-- 739 builtin_atomic.c
-rw-r--r-- 225 builtin_bswap.c
-rw-r--r-- 122 builtin_char_bit.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-- 785 calling-convention-attributes.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-- 494 cond_expr.c
-rw-r--r-- 869 cond_expr2.c
-rw-r--r-- 622 cond_expr3.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-- 842 div.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-- 1248 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-- 251 fored_arg.c
-rw-r--r-- 707 foul-bitwise.c
-rw-r--r-- 590 function-pointer-modifier-inheritance.c
-rw-r--r-- 304 goto-label.c
-rw-r--r-- 547 identifier_list.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-- 115 integer-promotions.c
-rw-r--r-- 466 ioc-typecheck.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
-rw-r--r-- 73 pragma-once.c
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-- 331 sizeof-bool.c
-rw-r--r-- 150 sizeof-compound-postfix.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-- 409 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-- 1007 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-- 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-- 1701 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-- 680 sm_locking.c
-rw-r--r-- 717 sm_locking2.c
-rw-r--r-- 651 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-- 466 sm_math2.c
-rw-r--r-- 276 sm_memleak2.c
-rw-r--r-- 447 sm_memory.c
-rw-r--r-- 572 sm_mod.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-- 1769 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-- 522 sm_user_data1.c
-rw-r--r-- 559 sm_user_data2.c
-rw-r--r-- 769 sm_user_data3.c
-rw-r--r-- 854 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
-rw-r--r-- 1675 specifiers1.c
-rw-r--r-- 6766 specifiers2.c
-rw-r--r-- 226 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 5591 test-suite
-rw-r--r-- 324 transparent-union.c
-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
-rw-r--r-- 189 wide.c