From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <smatch-owner@vger.kernel.org>
Received: from foss.arm.com ([217.140.110.172]:45236 "EHLO foss.arm.com"
        rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
        id S1728684AbfGHLW2 (ORCPT <rfc822;smatch@vger.kernel.org>);
        Mon, 8 Jul 2019 07:22:28 -0400
From: Andrew Murray <andrew.murray@arm.com>
Subject: [PATCH 0/4] Miscellaneous fixes
Date: Mon,  8 Jul 2019 12:22:17 +0100
Message-Id: <20190708112221.22983-1-andrew.murray@arm.com>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Sender: smatch-owner@vger.kernel.org
List-ID: <smatch.vger.kernel.org>
To: Dan Carpenter <dan.carpenter@oracle.com>
Cc: smatch@vger.kernel.org

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