| 2012-04-14 |
Dan Carpenter | math: simplify known_condition_true/false()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-04-14 |
Dan Carpenter | math: handle __smatch_implied(({frob(); 2;}));
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-04-14 |
Dan Carpenter | math: handle foo = !2;
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-04-14 |
Dan Carpenter | extra, math: move known_conditon_true/false() etc from...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-04-13 |
Dan Carpenter | project: fix parameter implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-04-13 |
Dan Carpenter | helper: introduce get_member_name()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-04-13 |
Dan Carpenter | db: print all return values at end of function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-04-04 |
Dan Carpenter | db: add some smdb_ scripts
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-30 |
Dan Carpenter | fill_db_return_info: fix out dated parsing
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-30 |
Dan Carpenter | extra: always initialize the range in get_implied_range_list()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-30 |
Dan Carpenter | extra: fix get_implied_range() for function calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-30 |
Dan Carpenter | check_macros: cleanup: use positions_eq()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-30 |
Dan Carpenter | macro: take a struct position, not a pointer to a struct
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-30 |
Dan Carpenter | implied: cleanup: move dubug printfs to their own function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-30 |
Dan Carpenter | ranges: get rid of possibly_(true/false)_range_list_ls()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-30 |
Dan Carpenter | ranges: cleanup: move true_comparison_range_lr() into...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-29 |
Dan Carpenter | extra: add parameter implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-29 |
Dan Carpenter | ranges: introduce clone_permanent()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-29 |
Dan Carpenter | ranges: initialize the pointer in get_value_ranges()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-29 |
Dan Carpenter | db: ignore functions which are called a lot
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-29 |
Dan Carpenter | type: export get_real_base_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-29 |
Dan Carpenter | db: add code to hack up the database with project specific...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-23 |
Dan Carpenter | conditions: preserve |= as the assign op in foo |=...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-23 |
Dan Carpenter | type: sizeof() is unsigned long
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-23 |
Dan Carpenter | conditions: sparse never seems to use SPECIAL_UNSIGNED_GT...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-21 |
Dan Carpenter | helper: introduce positions_eq(pos1, pos2) function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-19 |
Dan Carpenter | build_kernel_data.sh: make it executable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-19 |
Dan Carpenter | macro_side_effects: silence false positives inside...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-17 |
Dan Carpenter | test_kernel.sh: create a bak.smatch at the beginning...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-17 |
Dan Carpenter | *new* check_macro_side_effects: macros which evaluate...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-17 |
Dan Carpenter | flow: ignore __builtin_constant_p()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-17 |
Dan Carpenter | sparse: set the scope->token member
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-15 |
Dan Carpenter | call_tree.pl: This was still using the old format
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-15 |
Dan Carpenter | build_kernel_data.sh: add --call-tree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-12 |
Dan Carpenter | locking: ignore unreachable unlocks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-12 |
Dan Carpenter | locking: white space changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-12 |
Dan Carpenter | new_bugs.sh: fix it for gcc and sparse warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-12 |
Dan Carpenter | locking: tons of locks were ignored because of changes...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-10 |
Dan Carpenter | token_store: creates a position -> token mapping
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-08 |
Dan Carpenter | Merge branch 'devel2'
|
commit | commitdiff | tree |
| 2012-03-08 |
Dan Carpenter | *new* check_bit_shift.c: (foo & BAR) vs (foo & (1 ...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-06 |
Dan Carpenter | *new* pointer_math: complain about ptr + sizeof() where...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-05 |
Dan Carpenter | type: export get_pointer_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-03-02 |
Dan Carpenter | type: export get_pointer_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-29 |
Dan Carpenter | flow: fix segfault on parse error
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-29 |
Dan Carpenter | hooks: add CAST_HOOK
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-29 |
Dan Carpenter | type: add nr_bits(struct expression *expr)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-29 |
Dan Carpenter | extra: delete the get_range_list() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-28 |
Dan Carpenter | new: smatch_scripts/build_kernel_data.sh
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-28 |
Dan Carpenter | new: smatch_scripts/test_kernel.sh
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-27 |
Dan Carpenter | ranges: make possibly_true/false() take expression...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-27 |
Dan Carpenter | expressions: new file smatch_expressions.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-22 |
Dan Carpenter | tree wide: don't print offset into function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-22 |
Dan Carpenter | generize.pl: make it work for sparse warnings as well
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-22 |
Dan Carpenter | estate: don't reuse extra_undefined()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-22 |
Dan Carpenter | contraints: add option --debug-related
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | constraints: make set_equiv() take an expression pointer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | extra, constraints: move set_equiv() from extra to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | debug: add __smatch_dump_related()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | implied: use add_range()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | estate, ranges: move whole_range from estate to ranges
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | extra: cleanup is_whole_range()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | ranges: make possibly_true_range_list_rl() take an...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | ranges: rename get_single_value_from_dinfo() => estate_get_s...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | implied: use new estate_related() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | constraints: use new estate_related() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | constraints: make get_common_relationship() take an...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | estate: introduce estate_min/max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | estate: introduce estate_related()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | estate: introduce estate_ranges() helper function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | dinfo, estate: mv smatch_dinfo.c smatch_estate.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | tree-wide: s/extra_state/estate/g
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | extra, dinfo: move get_dinfo() from smatch_extra.c...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | extra, ranges: make possibly_true/false() take an expression...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-20 |
Dan Carpenter | *new* kmalloc_wrong_size: checks the element size...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-20 |
Dan Carpenter | debug: add __smatch_implied()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-20 |
Dan Carpenter | extra: modify match_comparison() so it can deal with...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-20 |
Dan Carpenter | dinfo: introduce extra_empty()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-15 |
Dan Carpenter | ranges: introduce alloc_range_list()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-15 |
Dan Carpenter | extra: remove a variable from match_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-15 |
Dan Carpenter | extra: create set_extra_expr_true_false()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-15 |
Dan Carpenter | extra: move some code out of match_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-14 |
Dan Carpenter | extra: handle post increment in comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-14 |
Dan Carpenter | extra: rewrite how ++ and -- are handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-14 |
Dan Carpenter | ranges: introduce rl_min() and rl_max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-14 |
Dan Carpenter | ranges: remove some duplicate code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-14 |
Dan Carpenter | get_variable_from_expr(): &foo is complicated
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-09 |
Dan Carpenter | db: use the return information in a couple other places
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-07 |
Dan Carpenter | extra, db, ranges: move new stuff out of ranges so...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-07 |
Dan Carpenter | db: speedup return info stuff
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-06 |
Dan Carpenter | db: remove debugging message
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-06 |
Dan Carpenter | db: handle -1 arguments correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-06 |
Dan Carpenter | extra: fix segfault parsing invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-06 |
Dan Carpenter | db: store the return value in the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-06 |
Dan Carpenter | db: turn off database journalling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-03 |
Dan Carpenter | ranges: add a FIXME comment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-03 |
Dan Carpenter | type: remove a free_netdev() false positive
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-02 |
Dan Carpenter | fill_db_function_ptr: fixup formatting changes fallout
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-01 |
Dan Carpenter | db_info: we don't care about void returns for now.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-01 |
Dan Carpenter | db_info: remove duplicate implementation of show_ranges()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
