repo.or.cz
/
smatch.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
snapshot (
tar.gz
zip
)
math: remove an impossible condition
tree
a2ca7042baa7a1b7ad34f8b7f9f58c5cd0bcee1f
-rw-r--r--
421
.gitignore
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
Documentation
tree
|
history
-rw-r--r--
4605
FAQ
blob
|
blame
|
history
|
raw
-rw-r--r--
12683
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
8373
Makefile
blob
|
blame
|
history
|
raw
-rw-r--r--
3020
README
blob
|
blame
|
history
|
raw
-rw-r--r--
2609
README-smatch
blob
|
blame
|
history
|
raw
-rw-r--r--
3503
allocate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2299
allocate.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6924
ast-inspect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
330
ast-inspect.h
blob
|
blame
|
history
|
raw
-rw-r--r--
14689
ast-model.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2246
ast-model.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1136
ast-view.c
blob
|
blame
|
history
|
raw
-rw-r--r--
95
ast-view.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1436
bitmap.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6820
c2xml.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
9024
cgcc
blob
|
blame
|
history
|
raw
-rw-r--r--
1062
cgcc.1
blob
|
blame
|
history
|
raw
-rw-r--r--
2973
char.c
blob
|
blame
|
history
|
raw
-rw-r--r--
148
char.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2275
check_access_ok_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1960
check_allocation_funcs.c
blob
|
blame
|
history
|
raw
-rw-r--r--
525
check_assign_vs_compare.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1169
check_assigned_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4351
check_balanced.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3453
check_bit_shift.c
blob
|
blame
|
history
|
raw
-rw-r--r--
642
check_bogus_irqrestore.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1733
check_bogus_loop.c
blob
|
blame
|
history
|
raw
-rw-r--r--
553
check_call_tree.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2480
check_check_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1288
check_container_of.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10782
check_debug.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1467
check_debug.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4875
check_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1378
check_deref_check.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2419
check_dereferences_param.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2733
check_dev_queue_xmit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1573
check_dma_on_stack.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1455
check_err_ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4146
check_err_ptr_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1676
check_expects_err_ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
522
check_format_string.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1917
check_free.c
blob
|
blame
|
history
|
raw
-rw-r--r--
797
check_freeing_null.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2776
check_frees_argument.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4184
check_get_user_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1054
check_gfp_dma.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2906
check_held_dev.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1934
check_info_leak.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1348
check_input_free_device.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7347
check_kernel.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1199
check_kmalloc_to_bugon.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2110
check_kmalloc_wrong_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1775
check_kunmap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4893
check_leaks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2863
check_list.h
blob
|
blame
|
history
|
raw
-rw-r--r--
32153
check_locking.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1163
check_logical_instead_of_bitwise.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3102
check_macro_side_effects.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1543
check_macros.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9391
check_memory.c
blob
|
blame
|
history
|
raw
-rw-r--r--
680
check_memset.c
blob
|
blame
|
history
|
raw
-rw-r--r--
886
check_min_t.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2897
check_missing_break.c
blob
|
blame
|
history
|
raw
-rw-r--r--
658
check_mod_timer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
832
check_no_effect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
654
check_no_return.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4140
check_or_vs_and.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11260
check_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1979
check_param_mapper.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2517
check_passes_sizeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1554
check_platform_device_put.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2349
check_pointer_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2120
check_precedence.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1259
check_proc_create.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1577
check_propagate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2696
check_puts_argument.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2648
check_redundant_null_check.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1873
check_release_resource.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1819
check_resource_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1106
check_return.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2167
check_return_efault.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2127
check_return_enomem.c
blob
|
blame
|
history
|
raw
-rw-r--r--
897
check_return_negative_var.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6625
check_rosenberg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
503
check_select.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6922
check_signed.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3294
check_sizeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1706
check_snprintf.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1523
check_stack.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4012
check_string_len.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1379
check_struct_type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2544
check_template.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1127
check_type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4660
check_unused_ret.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6224
check_unwind.c
blob
|
blame
|
history
|
raw
-rw-r--r--
13374
check_user_data.c
blob
|
blame
|
history
|
raw
-rw-r--r--
732
check_wait_for_common.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1416
check_wine_WtoA.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1821
check_wine_filehandles.c
blob
|
blame
|
history
|
raw
-rw-r--r--
328
compat-bsd.c
blob
|
blame
|
history
|
raw
-rw-r--r--
733
compat-cygwin.c
blob
|
blame
|
history
|
raw
-rw-r--r--
119
compat-linux.c
blob
|
blame
|
history
|
raw
-rw-r--r--
588
compat-mingw.c
blob
|
blame
|
history
|
raw
-rw-r--r--
685
compat-solaris.c
blob
|
blame
|
history
|
raw
-rw-r--r--
713
compat.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
compat
tree
|
history
-rw-r--r--
55304
compile-i386.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1424
compile.c
blob
|
blame
|
history
|
raw
-rw-r--r--
199
compile.h
blob
|
blame
|
history
|
raw
-rw-r--r--
9193
cse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4717
ctags.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
cwchash
tree
|
history
-rw-r--r--
13066
dissect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
768
dissect.h
blob
|
blame
|
history
|
raw
-rw-r--r--
84341
evaluate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
45133
example.c
blob
|
blame
|
history
|
raw
-rw-r--r--
28479
expand.c
blob
|
blame
|
history
|
raw
-rw-r--r--
24085
expression.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5377
expression.h
blob
|
blame
|
history
|
raw
-rw-r--r--
23168
flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1392
flow.h
blob
|
blame
|
history
|
raw
-rw-r--r--
5578
gdbhelpers
blob
|
blame
|
history
|
raw
-rw-r--r--
4750
graph.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
gvpr
tree
|
history
-rw-r--r--
3709
ident-list.h
blob
|
blame
|
history
|
raw
-rw-r--r--
14680
inline.c
blob
|
blame
|
history
|
raw
-rw-r--r--
26764
lib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6139
lib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
56839
linearize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7117
linearize.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8069
liveness.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1144
macro_table.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4691
memops.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1208
obfuscate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
76598
parse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1639
parse.dtd
blob
|
blame
|
history
|
raw
-rw-r--r--
3495
parse.h
blob
|
blame
|
history
|
raw
-rw-r--r--
47782
pre-process.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4907
ptrlist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8681
ptrlist.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2426
scope.c
blob
|
blame
|
history
|
raw
-rw-r--r--
998
scope.h
blob
|
blame
|
history
|
raw
-rw-r--r--
27116
show-parse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
20587
simplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5405
smatch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
23614
smatch.h
blob
|
blame
|
history
|
raw
-rw-r--r--
932
smatch_annotate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
17253
smatch_buf_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3806
smatch_capped.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7129
smatch_clear_buffer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
27109
smatch_comparison.c
blob
|
blame
|
history
|
raw
-rw-r--r--
15711
smatch_conditions.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
smatch_data
tree
|
history
-rw-r--r--
29823
smatch_db.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5824
smatch_equiv.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6240
smatch_estate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
806
smatch_expression_stacks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
276
smatch_expression_stacks.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2198
smatch_expressions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
37209
smatch_extra.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7479
smatch_extra.h
blob
|
blame
|
history
|
raw
-rw-r--r--
746
smatch_files.c
blob
|
blame
|
history
|
raw
-rw-r--r--
28708
smatch_flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3317
smatch_function_hashtable.h
blob
|
blame
|
history
|
raw
-rw-r--r--
17834
smatch_function_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4326
smatch_function_ptrs.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11711
smatch_helper.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7690
smatch_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
866
smatch_ignore.c
blob
|
blame
|
history
|
raw
-rw-r--r--
17165
smatch_implied.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5172
smatch_local_values.c
blob
|
blame
|
history
|
raw
-rw-r--r--
22757
smatch_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4021
smatch_modification_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3898
smatch_param_cleared.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3771
smatch_param_filter.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4151
smatch_param_limit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2063
smatch_param_set.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9577
smatch_parse_call_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1668
smatch_project.c
blob
|
blame
|
history
|
raw
-rw-r--r--
23140
smatch_ranges.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2568
smatch_recurse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1667
smatch_returns.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
smatch_scripts
tree
|
history
-rw-r--r--
18679
smatch_slist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3231
smatch_slist.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1146
smatch_start_states.c
blob
|
blame
|
history
|
raw
-rw-r--r--
20056
smatch_states.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1169
smatch_string_list.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11409
smatch_sval.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1901
smatch_tracker.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10127
smatch_type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3114
smatch_var_sym.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5698
sort.c
blob
|
blame
|
history
|
raw
-rw-r--r--
29281
sparse-llvm.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11777
sparse.1
blob
|
blame
|
history
|
raw
-rw-r--r--
6573
sparse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
175
sparse.pc.in
blob
|
blame
|
history
|
raw
-rwxr-xr-x
725
sparsec
blob
|
blame
|
history
|
raw
-rw-r--r--
7592
storage.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1749
storage.h
blob
|
blame
|
history
|
raw
-rw-r--r--
23857
symbol.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11904
symbol.h
blob
|
blame
|
history
|
raw
-rw-r--r--
741
target.c
blob
|
blame
|
history
|
raw
-rw-r--r--
993
target.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2119
test-dissect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
866
test-inspect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
713
test-lexing.c
blob
|
blame
|
history
|
raw
-rw-r--r--
984
test-linearize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1435
test-parsing.c
blob
|
blame
|
history
|
raw
-rw-r--r--
852
test-sort.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1633
test-unssa.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5569
token.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2837
token_store.c
blob
|
blame
|
history
|
raw
-rw-r--r--
23190
tokenize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3629
unssa.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
validation
tree
|
history