| 2014-04-25 |
Dan Carpenter | unreachable: add watchdog() to kernel.no_return_funcs...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-25 |
Dan Carpenter | unreachable: don't print a warning if we jump to the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-25 |
Dan Carpenter | unreachable: ignore unreachable code right after an...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-25 |
Dan Carpenter | unreachable: turn off backward labeled warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-25 |
Dan Carpenter | unreachable: add some more macros to the .ignore and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-25 |
Dan Carpenter | flow: merge continues before the iterator_post_statement...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-25 |
Dan Carpenter | flow: handle post op return statements like: return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-25 |
Dan Carpenter | unreachable: ignore some conditionally unreachable...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-25 |
Dan Carpenter | unreachable: ignore common false positives caused by...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-25 |
Dan Carpenter | unreachable: ignore unreachable code after BUG()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-25 |
Dan Carpenter | unreachable: move it out of smatch_flow.c and smatch_states.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-24 |
Dan Carpenter | avl: fix failing "stree->stree_id == 0" assert
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-24 |
Dan Carpenter | overflow: don't warn if we overflow use buffers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-16 |
Dan Carpenter | smatch_type: never refer to ->bit_size directly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-14 |
Dan Carpenter | db: function with too many pointers to it cause slow...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-11 |
Dan Carpenter | db: rename db_callback to caller_info_callback
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-10 |
Dan Carpenter | propagate: delete this test
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-10 |
Dan Carpenter | stored_conditions: don't store constants
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-04-10 |
Dan Carpenter | Merge git://git.kernel.org/pub/scm/devel/sparse/chrisl...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-07 |
Dan Carpenter | states: add another read_only check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-07 |
Dan Carpenter | missing_break: use fewer states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-07 |
Dan Carpenter | avl: add a counter for when you allocate or free a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-07 |
Dan Carpenter | slist, returns: introduce merge_stree_no_pools()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-07 |
Dan Carpenter | unconstant_macros: allow (foo & _PAGE_NX) even when...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-07 |
Dan Carpenter | buf_size: allow strncmp("foo", bar, 100) where 100...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-06 |
Dan Carpenter | param_set: only record parameters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-06 |
Dan Carpenter | extra: ignore struct to struct assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-06 |
Dan Carpenter | implied: add the stree_id to debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-06 |
Dan Carpenter | clear_buffer: delete an unused function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-06 |
Dan Carpenter | clear_buffer: delete obsolete code to handle struct...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-06 |
Dan Carpenter | comparison: don't record that actual structs are equivalent
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-06 |
Dan Carpenter | assigned_expr: don't store fake assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-06 |
Dan Carpenter | debug: change __smatch_cur_slist() to __smatch_cur_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-05 |
Dan Carpenter | states: don't __unnullify_path unnecessarily
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-03-05 |
Dan Carpenter | implied: smatch was saying somethings were implied...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-28 |
Dan Carpenter | stree: fix a bunch of stree leaks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-28 |
Dan Carpenter | states: merge nullify_all_states() into save_all_states()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-27 |
Dan Carpenter | stree: make strees copy on write
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-27 |
Dan Carpenter | stree: move stree_id into the avl root
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-27 |
Dan Carpenter | slist: rename slist_id to stree_id.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-27 |
Dan Carpenter | avl: introduce FOR_EACH_MY_SM() and callers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-27 |
Dan Carpenter | kunmap: update validation file
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-27 |
Dan Carpenter | flow: fixes for hairy functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-27 |
Dan Carpenter | extra: fix unknown += assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-27 |
Dan Carpenter | implied: add a newline to output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-27 |
Dan Carpenter | stored_conditions: store comparisons and not logicals
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-27 |
Dan Carpenter | db: fix nested call handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-27 |
Dan Carpenter | kunmap: tidy up error message
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-27 |
Dan Carpenter | conditions: fix some leaks in handle_select()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-27 |
Dan Carpenter | slist: fix a leak
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-27 |
Dan Carpenter | stree fallout: implications not working 100%
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | states: rename fake_cur_slist functions to fake_cur_stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | states: rename __print_cur_slist() to __print_cur_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | avl: rename avl_free() to free_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | avl: rename avl_count() to stree_count()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | avl: use struct stree instead of making it a typedef
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | avl: rename struct AVL to struct stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | avl: rename avl_clone to clone_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | slist: delete slist compat layer and remaining unused...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | states: eliminate remaining references to __get_cur_slist()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | states: remove some dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | slist: remove a bunch of unused slist functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | core: change (struct sm_state)->pool to be a stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | start_states: update get_start_states() to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | returns: update all_return_states_hook() to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | type_val: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | start_states: partial update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | match_returns: partial update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | param_set: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | param_limit: update to stree
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | param_filter: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | param_cleared: upate to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | modification_hooks: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | implied: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | flow: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | extra: update almost everything here to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | conditions: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | comparison: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | user_data: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | unwind: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | template: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | return_enomem: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | puts_argument: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | memory: partial update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | locking: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | leaks: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | held_dev: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | frees_argument: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | double_checking: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | debug: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | check_balanced: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | db, stree: update smatch_db.c to use stree throughout
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | states, stree: introduce stree versions of __get_cur_slist...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: we can save stree directly in backup...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states: remove unused check_stack_free() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: make a bunch of the public API use stree...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: update pre_cond, cond_true/false stacks...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: change goto_stack to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: change continue_stack to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: change default_stack to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
