From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-wr1-f49.google.com (mail-wr1-f49.google.com [209.85.221.49]) (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 D6F313064A9 for ; Wed, 26 Nov 2025 14:51:37 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.221.49 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1764168699; cv=none; b=bnc0UwAVKDeNKvB0iVYvuIDi7Vnqk/sQSkc1Vds9lZSn3FhR/tdP6lfP13rVS3/wP6FslYQaibpJm1ydBlWg4v3KPMfJW8NML6RkjJuJlFIStSwDln97ehwk1pnSCKA13Ar+C/omBFbwfjey9hFVCgT3hBWOdBFB//UpQrZf+IY= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1764168699; c=relaxed/simple; bh=yflZCeJEP38fR52niA8legT7e3bkbUuFSDcKQXX4wRY=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=l1cWEETqlyV3imISapet69HpOYiM7SroYCxI+S2BTIwAi6GMJcHrK8tuktlK4Op4/P69nGatVocAWTHyRUJTq5948GmvbM19yfyO5uu8saMbwcykQuCspqVQeTtFLYuWj+t4R3GVJYKcRwDbuxgji2Sod7/++Xuc6w7KH47DVTM= 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=rQu5o7ck; arc=none smtp.client-ip=209.85.221.49 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="rQu5o7ck" Received: by mail-wr1-f49.google.com with SMTP id ffacd0b85a97d-42b3b29153fso3731358f8f.3 for ; Wed, 26 Nov 2025 06:51:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1764168696; x=1764773496; 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=22vHWxUmF5RF75jgfjUfLc5l4VMlOg+IYiK0uVC1vcM=; b=rQu5o7ck3zYYCjm54SXVdAmrIQMHXn/KpvuKjPYv05E5onzW8kd3AmUdq6W7V7bnTY tNZJodxlX4B4uJiBvOu2N+AZbsc0fbSWloxorBb1+HbTn3bKqxiR2InZ+cnidllr7ho8 jEQpp7ZCrl6TaApq7AgswYIhPBpfpbJW+undvnbYdWWrZWhTqf5xL1iCFYlvZN5rlnPO ZN3RWojS/8G1cARTGtBmb/RBXst6W9iXAQKWOzICzy12pR5crx3XUK7cvxSOL+Qm56XM +GznTDalz4nb5uVhwU5Uo4T4E8LlJb03z9rOdQwv21Fp2AQJFpMcYNv7NF6XOHvXPS91 u3FQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1764168696; x=1764773496; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-gg:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=22vHWxUmF5RF75jgfjUfLc5l4VMlOg+IYiK0uVC1vcM=; b=XT/PAH5uV8V7wJSRYR2svCHgIssJQKjzLQ8KMaS1qggQNtNMSuLHYW9eDBz4fkispD DFwM+8OhxJqUguDU0CzyfxLPhYogBZhrPf5RXG/F+pvRuueXxGhyXWegh0Ist07lyrEz ZZE9bLhwhqKnscE80Dp8SVNa/mMKZYqFPWt0eldqcEvgx2vlL6eR/aqHAjDvprw6f57A tKBWM2gclvWw0P+2Ne/+nZ7eFv5u+Uf8c/Ko/XYJkg3HJ60bdRxxi+8yejd7oS660B8J WWWVBRPi0T1e7QW67p5082umEAmiWOAdeor6LSR68SaC98J2pIeC+vdks6+XhUVfTRoG rlzw== X-Gm-Message-State: AOJu0Yxg+cp48KHZmUcjAzXEiS4iXu/AUTzFOiBQcZD6j3xTzCOJcxPQ 4h9itVlKs4bGBN1RfsuvyWhngIC2/HuNdO8Gihspm1g98xZSthgB4DdCyhpgxvv9yzY= X-Gm-Gg: ASbGncuUUAUnFf2+NH9m6p/LaNswDTUK0uvxWz+fFIuFsmhMxxKhAVUcaM/UYOnnVrV 8kM+01tIbzTkUH/iUIXUskAAayiTgSE8N991/t9ptKp8Y7UUw4o3E46Coed0EJNNAufZs5EnCo5 45Gfb0PvtVwG10cfQuNABtw4jCJasfJ58E0XVJWvi2Mw4l05NH6Y/6DGfREQUZsC8UEiKWrAyal FPy99FQmZXWRbqD/NOK+hdskp147xkJtIUOjYE+vv23KI/Kbsdg0YjTKKMc3CUE1SqAiLIzP/WI +HVUn4yc2t1NDq5ZxYCWkx07o2hA2QyPD3uSTw9vyKfdCyh4SjFD9ODod1mAXxwDVcU/Lsbo8qI wq55Wxfq0N0qf32egsXuNo9w46ME8PMItj89DCoF2ZZ0SVgKqzMtjW2cupeUy3W3LtUNaZQKUJi Hq4t0ZxlVjp6vS4fk= X-Google-Smtp-Source: AGHT+IGYXWRDIecLlzj9LD3L7KzInYqKY0bwfAsQ+TwIp3JUmXWPH68OQLex9mJ9M2q5pTkymbI7Aw== X-Received: by 2002:a05:6000:612:b0:429:d350:8045 with SMTP id ffacd0b85a97d-42cc1d6271cmr20320947f8f.59.1764168696002; Wed, 26 Nov 2025 06:51:36 -0800 (PST) Received: from localhost ([41.210.159.101]) by smtp.gmail.com with UTF8SMTPSA id ffacd0b85a97d-42cb7fb8a29sm41571958f8f.30.2025.11.26.06.51.35 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 26 Nov 2025 06:51:35 -0800 (PST) Date: Wed, 26 Nov 2025 15:55:16 +0300 From: Dan Carpenter To: Toomas Soome Cc: smatch@vger.kernel.org Subject: Re: the sigsegv issue with recent smatch Message-ID: References: <07F8415A-02C9-4483-9A4F-9027D20D075B@me.com> Precedence: bulk X-Mailing-List: smatch@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: <07F8415A-02C9-4483-9A4F-9027D20D075B@me.com> On Tue, Nov 25, 2025 at 06:27:06PM +0200, Toomas Soome wrote: > I got a bit background for sigsegv case. > Do you have a reproducer script I could try? I think your reading of the code is correct. It's trying to take the something like: x = frob(a, b, c, d); and create a fake assignment: x = d; And, I guess, it can't find 'd'. But my line numbers in mdb_nv.c are different from yours. There seems to be an obvious fix which I have done and pushed but I can't test it. Could you give it a shot? https://github.com/error27/smatch/commit/4dca0c1677879bf9a86b2311bf1ba75acfdf82ba regards, dan carpenter