From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-ed1-f51.google.com (mail-ed1-f51.google.com [209.85.208.51]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id D308E73446 for ; Wed, 18 Dec 2024 14:28:01 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.208.51 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1734532083; cv=none; b=CwjKIWNz+5zcqZ76ji8dsLisKyVFBCh2zoMf5q+D+doMoiR8DZKoQ5W9/jwsj6+FfdPIC1NABsnpFufSxhk0VCFSnKIxwtKjhYw+2o0/b6kqqMbQd5OC9bJ6cW8IFqz2SJApikDmmsjm2bByPTxfr8k1byDxw4jNS6sjz3ndREM= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1734532083; c=relaxed/simple; bh=P/HPltUtt2vn+9aRUaAyzauuM6YeVccuTZmjNM6Zclo=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=LAA55CH7DY7MXYEH/OMRw/2CS+6iokunlT4kmFr1i8uRWcN52ZpuJ3I23P+shctvv9N6KcP1XBKdfG/GU+NwDS8tlV6uQQKIBcyHCq6tQLajZKCwHK7AxxbgPcNksnV97FSpOk56NHkAMLVm8vjPe5I3X2DF65i6ieJ5kZklPQA= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linaro.org; spf=pass smtp.mailfrom=linaro.org; dkim=pass (2048-bit key) header.d=linaro.org header.i=@linaro.org header.b=nW8XZKOJ; arc=none smtp.client-ip=209.85.208.51 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linaro.org Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=linaro.org Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=linaro.org header.i=@linaro.org header.b="nW8XZKOJ" Received: by mail-ed1-f51.google.com with SMTP id 4fb4d7f45d1cf-5d0ac27b412so9044352a12.1 for ; Wed, 18 Dec 2024 06:28:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1734532080; x=1735136880; darn=vger.kernel.org; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=olsAOcueCvwX+L6BF+k6b1vPQqClD0FIQcuZSKjNq00=; b=nW8XZKOJ1G7aVUkjzdwj2uD7P4IpsOsQjocCRQ704MXnHvJ9YMZujSPs4bJOJvwM5A ocSRNN/uJHaHdiaAqPloRdx1B+fFXqW1o0YkdpY19pcgep+WkBmswDLQ/h9KrBTG6t8f cWKM68r/7F5k3GNignGtS9mFMm8oNovgnqpNoMFrtgShKIXhVOeymHnVDDClYNd042gz LyJcTMVYGxTvv5rK/O2ed+r7nGvWTmUKLTJ81TvUx7SLmloy19ox2MfWF9Q2zVN/UNUp XL4m97nBbX0ULDF+xJbw4e+vZL3Mq3HAfaU5+jao0xp2Iq5Xv8U2K2gtZvZjerLrZa/y ZkWg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1734532080; x=1735136880; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=olsAOcueCvwX+L6BF+k6b1vPQqClD0FIQcuZSKjNq00=; b=u4brPKAQBmWNXUDRxQxPCLNWE5I/SZRdvzt8Fu1dDeF6KvRJHjm2gsiUPz9W/8RzcS WmEnj6HCHIYcFg3Q5kdtOCdJ+NvZUb0E/hHft5RmIXx4hdqulk/CI5Q2BpzWEA/Xc09j gHivcWOGsdGsxH4DM+MlDrfnofinQvpRWPMEi/t2Vpb0510pEapZAFXGTQFJeFA/l+vl ji7B5rd18cIyqMCs2cyZ8clvdG6nq7kTab01HK1iAhhKKQ9aXvpmv6k8/HpaTSVE2TiK QOHio6buvXpIMEuIf1mcEfMe3fCWRuvs9CDS9mEpQgINHD0Udub7LXJi9lEcm26q13BK adWQ== X-Forwarded-Encrypted: i=1; AJvYcCXDLBL8Toen6/l94+EzL0+47ZMj9vOr89BOSOUneUtwbMZ+OC+OthSbj0STBFympK2q3ZQcPsf7eYCuqjE=@vger.kernel.org X-Gm-Message-State: AOJu0YyGtRBljhbDtR2ho5QpggEA2JDMJngirNBmcbs0Au10ZtomnAzy AKVcvHDnn4+4306UwXAPGHCA+D0aARZcNfWcjb1N7Z+5zpGaEYeb7eZTWAjnmuU= X-Gm-Gg: ASbGnctk+Hg+PucaO8T9uChPy581ZnGL6vhL6Dn3ud7DkRgjw5wiQqkWJ3aNa8rPcWZ FZRGZfRe4oBF/Y5vzG3bb6dvBeuCQcS+R0bUZ3YZCXkVefQ3llKL2DDVUdE5+SSm3g4yzhTdggs xlS/PaxwvRzwtPSRFuiZAGKlWccvW6VciFYPLbHDeOctMxl7+UMErRiEY2QTJCnJXSouQbx2mnn gCJfQ9khisRfpq4g/kPLI37csUT1TnrdY8SyZEES57MdB5pChzng5dXt2c4RQ== X-Google-Smtp-Source: AGHT+IE0b1qGfP4Pf6EpYQEe1cYZEQ/cz/OlMFixL598HMJvNbj1Pyg+ay0tbwnoW/BHktu+DwR8Dg== X-Received: by 2002:a05:6402:380a:b0:5d0:b60a:2ff6 with SMTP id 4fb4d7f45d1cf-5d7ee4060eamr3013619a12.22.1734532080248; Wed, 18 Dec 2024 06:28:00 -0800 (PST) Received: from localhost ([196.207.164.177]) by smtp.gmail.com with ESMTPSA id 4fb4d7f45d1cf-5d652f25afbsm5661203a12.55.2024.12.18.06.27.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 18 Dec 2024 06:27:59 -0800 (PST) Date: Wed, 18 Dec 2024 17:27:56 +0300 From: Dan Carpenter To: Chris Packham Cc: Simon Horman , linux-kernel@vger.kernel.org Subject: Re: smatch usage (was Re: [PATCH v2 4/4] net: mdio: Add RTL9300 MDIO driver) Message-ID: References: <20241216031346.2626805-1-chris.packham@alliedtelesis.co.nz> <20241216031346.2626805-5-chris.packham@alliedtelesis.co.nz> <20241216164814.GH780307@kernel.org> <20241217103509.GO780307@kernel.org> <0986f65a-ff1c-4ba4-9bae-de3972794bc3@alliedtelesis.co.nz> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <0986f65a-ff1c-4ba4-9bae-de3972794bc3@alliedtelesis.co.nz> On Wed, Dec 18, 2024 at 09:39:41AM +1300, Chris Packham wrote: > > I wasn't able to use O=... with the kchecker script but if I call make > > directly then it works for me: > > > > make O=/home/dcarpenter/progs/kernel/build/build_smatch/ allyesconfig > > make O=/home/dcarpenter/progs/kernel/build/build_smatch/ C=2 'CHECK= /home/dcarpenter/progs/smatch/release/smatch_scripts/../smatch --project=kernel --succeed ' drivers/net/mdio/mdio-realtek-rtl.o > > > > regards, > > dan carpenter > > Hi Dan, > > I think the problem was I had libsqilite3-dev installed but not sqlite3. I > rebuilt smatch after installing the sqlite3 package and now my original > incantation works as well as your one above. > That's so weird. The sqlite3 requirement was only intended for if you build the cross function DB. The scripts to build the DB are a mix of Perl and shell. Anyway, good that it's working now. regards, dan carpenter