[PATCH 0/4] Miscellaneous fixes

[Andrew Murray <andrew.murray@xxxxxxx>]

This series provides miscellaneous fixes and removes some unintended
debug.

Andrew Murray (4):
  smdb.py: fix handling of capped ranges
  smdb.py: fix param tracking now that we use $ instead of p
  user_data: Recognize uaccess for non-x86 architectures
  kchecker: remove debug

 check_get_user_overflow.c | 2 +-
 smatch_data/db/smdb.py    | 6 +++---
 smatch_kernel_user_data.c | 2 +-
 smatch_scripts/kchecker   | 1 -
 4 files changed, 5 insertions(+), 6 deletions(-)

-- 
2.21.0