Authentication-Results: name.execsw.org;
	dkim=pass (1024-bit key) header.d=netbsd.org header.i=@netbsd.org header.b=HrRdtxD8;
	dkim=fail reason="signature verification failed" (1024-bit key) header.d=netbsd.org header.i=@netbsd.org header.b=f4Eh/8Ko
Received: by mail.netbsd.org (Postfix, from userid 605)
	id 0B75584E98; Sun, 10 Mar 2024 14:32:32 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=netbsd.org;
	s=20240131; t=1710081152;
	bh=o2lPNInFV/74+HCE7TqMnJniA0XIsiiEtn8yzU5xU2o=;
	h=Date:From:Subject:To:List-Id:Reply-To:List-Unsubscribe;
	b=HrRdtxD8jIus2X+Dgs7ibh19FxAAc5KE7RsR1xe0UWSo86f8vDtCDnneZfLjKU6BQ
	 c3iEI1boXg3evLDpwJZxJl2OJlVVS4MvTNben8FwLzA7nKCMVhTTWPlTA/e5n1dWgH
	 oYZZGKUzNPtuyIvLwyysBlTpmQorEKWuj1iJswxY=
Received: from localhost (localhost [127.0.0.1])
	by mail.netbsd.org (Postfix) with ESMTP id E627584E6C
	for <source-changes@NetBSD.org>; Sun, 10 Mar 2024 14:32:30 +0000 (UTC)
X-Virus-Scanned: amavisd-new at netbsd.org
Authentication-Results: mail.netbsd.org (amavisd-new);
	dkim=pass (1024-bit key) header.d=netbsd.org
Received: from mail.netbsd.org ([IPv6:::1])
	by localhost (mail.netbsd.org [IPv6:::1]) (amavisd-new, port 10025)
	with ESMTP id DjG7eM-afj_7 for <source-changes@netbsd.org>;
	Sun, 10 Mar 2024 14:32:30 +0000 (UTC)
Received: from cvs.NetBSD.org (ivanova.netbsd.org [199.233.217.197])
	by mail.netbsd.org (Postfix) with ESMTP id 8471384D3A
	for <source-changes@NetBSD.org>; Sun, 10 Mar 2024 14:32:30 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=netbsd.org;
	s=20240131; t=1710081150;
	bh=o2lPNInFV/74+HCE7TqMnJniA0XIsiiEtn8yzU5xU2o=;
	h=Date:From:Subject:To:Reply-To;
	b=f4Eh/8KoXzJROltXSkhG6Vul+bsQsXppyhvMVhoPYubEQ8OT4c/LCjMokzfQ/fJyF
	 eYyRZwHIG+eLva2QSFaeK8m0XwD1jNrS1dtKSvGLQNLd67CMa2rNErdTlT1ZHJsw57
	 Ex9yXKM/+rpMxhX6oL/XXfkMdCAQ4QayXAvQLC2A=
Received: by cvs.NetBSD.org (Postfix, from userid 500)
	id 75961FA2A; Sun, 10 Mar 2024 14:32:30 +0000 (UTC)
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
Content-Type: text/plain; charset="US-ASCII"
MIME-Version: 1.0
Date: Sun, 10 Mar 2024 14:32:30 +0000
From: "Roland Illig" <rillig@netbsd.org>
Subject: CVS commit: src
To: source-changes@NetBSD.org
X-Mailer: log_accum
Message-Id: <20240310143230.75961FA2A@cvs.NetBSD.org>
Sender: source-changes-owner@NetBSD.org
List-Id: <source-changes.NetBSD.org>
Precedence: bulk
Reply-To: source-changes-d@NetBSD.org
Mail-Reply-To: "Roland Illig" <rillig@netbsd.org>
Mail-Followup-To: source-changes-d@NetBSD.org
List-Unsubscribe: <mailto:majordomo@NetBSD.org?subject=Unsubscribe%20source-changes&body=unsubscribe%20source-changes>

Module Name:	src
Committed By:	rillig
Date:		Sun Mar 10 14:32:30 UTC 2024

Modified Files:
	src/tests/usr.bin/xlint/lint1: expr_fold.c msg_141.c
	src/usr.bin/xlint/lint1: tree.c

Log Message:
lint: detect more cases of integer overflow in constant expressions

For unsigned integers, detect when 'a + b' wraps around.


To generate a diff of this commit:
cvs rdiff -u -r1.13 -r1.14 src/tests/usr.bin/xlint/lint1/expr_fold.c \
    src/tests/usr.bin/xlint/lint1/msg_141.c
cvs rdiff -u -r1.618 -r1.619 src/usr.bin/xlint/lint1/tree.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.