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: simplify implied_condition_true/false()
tree
147314f45b57c8cd221fa3795209ac2b44a8eb95
-rw-r--r--
409
.gitignore
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
Documentation
tree
|
history
-rw-r--r--
4607
FAQ
blob
|
blame
|
history
|
raw
-rw-r--r--
12681
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
6878
Makefile
blob
|
blame
|
history
|
raw
-rw-r--r--
3019
README
blob
|
blame
|
history
|
raw
-rw-r--r--
2610
README-smatch
blob
|
blame
|
history
|
raw
-rw-r--r--
3468
allocate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2269
allocate.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6022
ast-inspect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
330
ast-inspect.h
blob
|
blame
|
history
|
raw
-rw-r--r--
14688
ast-model.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2212
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--
6847
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--
2550
check_access_ok_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1915
check_allocation_funcs.c
blob
|
blame
|
history
|
raw
-rw-r--r--
957
check_assigned_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4238
check_balanced.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3352
check_bit_shift.c
blob
|
blame
|
history
|
raw
-rw-r--r--
645
check_bogus_irqrestore.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1770
check_bogus_loop.c
blob
|
blame
|
history
|
raw
-rw-r--r--
570
check_call_tree.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2340
check_check_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1333
check_container_of.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1597
check_db_info.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4921
check_debug.c
blob
|
blame
|
history
|
raw
-rw-r--r--
700
check_debug.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4672
check_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1346
check_deref_check.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2704
check_dev_queue_xmit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1607
check_dma_on_stack.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1393
check_err_ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4404
check_err_ptr_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1679
check_expects_err_ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
525
check_format_string.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1950
check_free.c
blob
|
blame
|
history
|
raw
-rw-r--r--
808
check_freeing_null.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2726
check_frees_argument.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4129
check_get_user_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1039
check_gfp_dma.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2889
check_held_dev.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1958
check_info_leak.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1348
check_input_free_device.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1150
check_kernel.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1216
check_kmalloc_to_bugon.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2082
check_kmalloc_wrong_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1792
check_kunmap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4899
check_leaks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2145
check_list.h
blob
|
blame
|
history
|
raw
-rw-r--r--
29002
check_locking.c
blob
|
blame
|
history
|
raw
-rw-r--r--
621
check_logical_instead_of_bitwise.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3127
check_macro_side_effects.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1543
check_macros.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9422
check_memory.c
blob
|
blame
|
history
|
raw
-rw-r--r--
674
check_memset.c
blob
|
blame
|
history
|
raw
-rw-r--r--
890
check_min_t.c
blob
|
blame
|
history
|
raw
-rw-r--r--
648
check_mod_timer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
832
check_no_effect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
598
check_no_return.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8837
check_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1997
check_param_mapper.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1554
check_platform_device_put.c
blob
|
blame
|
history
|
raw
-rw-r--r--
630
check_pointer_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2071
check_precedence.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1270
check_proc_create.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1573
check_propagate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2646
check_puts_argument.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2682
check_redundant_null_check.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1859
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--
2481
check_return_efault.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2083
check_return_enomem.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1205
check_return_negative_var.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5509
check_rosenberg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
503
check_select.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6631
check_signed.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1706
check_snprintf.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1434
check_stack.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2564
check_template.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1152
check_type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4652
check_unused_ret.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6140
check_unwind.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5385
check_user_data.c
blob
|
blame
|
history
|
raw
-rw-r--r--
757
check_wait_for_common.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1433
check_wine_WtoA.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1847
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--
55336
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--
9060
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--
83753
evaluate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
45133
example.c
blob
|
blame
|
history
|
raw
-rw-r--r--
28376
expand.c
blob
|
blame
|
history
|
raw
-rw-r--r--
24624
expression.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5377
expression.h
blob
|
blame
|
history
|
raw
-rw-r--r--
23166
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--
4795
graph.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
gvpr
tree
|
history
-rw-r--r--
3561
ident-list.h
blob
|
blame
|
history
|
raw
-rw-r--r--
14647
inline.c
blob
|
blame
|
history
|
raw
-rw-r--r--
26101
lib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6110
lib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
56412
linearize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7065
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--
75812
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--
44603
pre-process.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4906
ptrlist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8771
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--
27079
show-parse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
20421
simplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5134
smatch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14951
smatch.h
blob
|
blame
|
history
|
raw
-rw-r--r--
11672
smatch_buf_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3561
smatch_capped.c
blob
|
blame
|
history
|
raw
-rw-r--r--
15711
smatch_conditions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6091
smatch_constraints.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
smatch_data
tree
|
history
-rw-r--r--
10293
smatch_db.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3699
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--
409
smatch_expressions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
25095
smatch_extra.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5173
smatch_extra.h
blob
|
blame
|
history
|
raw
-rw-r--r--
743
smatch_files.c
blob
|
blame
|
history
|
raw
-rw-r--r--
19618
smatch_flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2375
smatch_function_hashtable.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7657
smatch_function_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9763
smatch_helper.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6990
smatch_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
838
smatch_ignore.c
blob
|
blame
|
history
|
raw
-rw-r--r--
15647
smatch_implied.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11424
smatch_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4269
smatch_modification_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3519
smatch_project.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14313
smatch_ranges.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
smatch_scripts
tree
|
history
-rw-r--r--
17808
smatch_slist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3069
smatch_slist.h
blob
|
blame
|
history
|
raw
-rw-r--r--
17032
smatch_states.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2091
smatch_tracker.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4153
smatch_type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5698
sort.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11142
sparse.1
blob
|
blame
|
history
|
raw
-rw-r--r--
6582
sparse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
175
sparse.pc.in
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--
23896
symbol.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10435
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--
5244
token.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2739
token_store.c
blob
|
blame
|
history
|
raw
-rw-r--r--
20945
tokenize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3612
unssa.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
validation
tree
|
history