extra: don't reset impossible states after a condition
[smatch.git] / smatch_scripts / 
tree97f78835a06a1253f3bc64c5c331395b2d7203e9
drwxr-xr-x   ..
-rwxr-xr-x 738 add_gfp_to_allocations.sh
-rwxr-xr-x 1813 build_generic_data.sh
-rwxr-xr-x 1257 build_kernel_data.sh
-rwxr-xr-x 2569 call_tree.pl
-rwxr-xr-x 2575 filter_kernel_deref_check.sh
-rwxr-xr-x 254 find_expanded_holes.pl
-rwxr-xr-x 407 find_null_params.sh
-rwxr-xr-x 1653 follow_params.pl
-rwxr-xr-x 850 gen_allocation_list.sh
-rwxr-xr-x 673 gen_bit_shifters.sh
-rwxr-xr-x 786 gen_dma_funcs.sh
-rwxr-xr-x 746 gen_err_ptr_list.sh
-rwxr-xr-x 710 gen_expects_err_ptr.sh
-rwxr-xr-x 683 gen_frees_list.sh
-rwxr-xr-x 804 gen_gfp_flags.sh
-rwxr-xr-x 795 gen_implicit_dependencies.sh
-rwxr-xr-x 913 gen_no_return_funcs.sh
-rwxr-xr-x 693 gen_puts_list.sh
-rwxr-xr-x 756 gen_returns_held.sh
-rwxr-xr-x 794 gen_rosenberg_funcs.sh
-rwxr-xr-x 852 gen_sizeof_param.sh
-rwxr-xr-x 738 gen_unwind_functions.sh
-rwxr-xr-x 1285 generisize.pl
drwxr-xr-x - implicit_dependencies
-rwxr-xr-x 1432 kchecker
-rwxr-xr-x 1840 kpatch.sh
-rwxr-xr-x 867 new_bugs.sh
-rwxr-xr-x 813 show_errs.sh
-rwxr-xr-x 696 show_ifs.sh
-rwxr-xr-x 2025 show_unreachable.sh
-rwxr-xr-x 387 strip_whitespace.pl
-rwxr-xr-x 1876 summarize_errs.sh
-rwxr-xr-x 1507 test_generic.sh
-rwxr-xr-x 1696 test_kernel.sh
-rwxr-xr-x 2078 trace_params.pl
-rwxr-xr-x 1792 unlocked_paths.pl
-rwxr-xr-x 1846 whitespace_only.sh
-rwxr-xr-x 1112 wine_checker.sh