All of lore.kernel.org
 help / color / mirror / Atom feed
From: Mike Rapoport <rppt@kernel.org>
To: Andrew Morton <akpm@linux-foundation.org>,
	Nathan Chancellor <nathan@kernel.org>
Cc: "David Hildenbrand (Red Hat)" <david@kernel.org>,
	Ankit Khushwaha <ankitkhushwaha.linux@gmail.com>,
	Lorenzo Stoakes <lorenzo.stoakes@oracle.com>,
	"Liam R. Howlett" <Liam.Howlett@oracle.com>,
	Vlastimil Babka <vbabka@suse.cz>,
	Suren Baghdasaryan <surenb@google.com>,
	Michal Hocko <mhocko@suse.com>, Shuah Khan <shuah@kernel.org>,
	linux-mm@kvack.org, linux-kselftest@vger.kernel.org,
	linux-kernel@vger.kernel.org
Subject: Re: [PATCH] selftest/mm: fix pointer comparison in mremap_test
Date: Sun, 9 Nov 2025 08:54:12 +0200	[thread overview]
Message-ID: <aRA6lEQmmrvmj2DX@kernel.org> (raw)
In-Reply-To: <20251107160855.58891ac6df6854a3b608185f@linux-foundation.org>

(added Nathan for clang advice)

On Fri, Nov 07, 2025 at 04:08:55PM -0800, Andrew Morton wrote:
> On Fri, 7 Nov 2025 10:27:27 +0100 "David Hildenbrand (Red Hat)" <david@kernel.org> wrote:
> 
> > On 06.11.25 13:02, Ankit Khushwaha wrote:
> > > On Thu, Nov 06, 2025 at 12:18:57PM +0100, David Hildenbrand (Red Hat) wrote:
> > >> On 06.11.25 11:49, Ankit Khushwaha wrote:
> > >>> Pointer arthemitic with 'void * addr' and 'unsigned long long dest_alignment'
> > >>> triggers following warning:
> > >>>
> > >>> mremap_test.c:1035:31: warning: pointer comparison always evaluates to
> > >>> false [-Wtautological-compare]
> > >>>    1035 |                 if (addr + c.dest_alignment < addr) {
> > >>>         |                                             ^
> > >>>
> > >>> typecasting 'addr' to 'unsigned long long' to fix pointer comparison.
> > >>
> > >> With which compiler are you seeing this?
> > > 
> > > Hi David,
> > > 
> > > clang version 20.1.8 (Fedora 20.1.8-4.fc42) raised this warning.
> > > 
> > > To reproduce:
> > > 	make -C tools/testing/selftests/mm CC=clang
> > 
> > Thanks, and thanks to Lorenzo for the details.
> > 
> > Acked-by: David Hildenbrand (Red Hat) <david@kernel.org>
> 
> I must say, applying this would be an unhappy life event.
> 
> 	if (void* + ulong < void*)
> 
> makes perfect sense in a world which permits void* arithmetic (ie,
> ours).  So what the heck is clang doing??
> 
> If we do
> 
> 	void *addr2 = addr + c.dest_alignment;
> 	if (addr2 < addr)
> 		...
> 
> then which statement warns, and why?

-- 
Sincerely yours,
Mike.

  parent reply	other threads:[~2025-11-09  6:54 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-11-06 10:49 [PATCH] selftest/mm: fix pointer comparison in mremap_test Ankit Khushwaha
2025-11-06 11:18 ` David Hildenbrand (Red Hat)
2025-11-06 12:02   ` Ankit Khushwaha
2025-11-06 14:26     ` Lorenzo Stoakes
2025-11-07  9:27     ` David Hildenbrand (Red Hat)
2025-11-08  0:08       ` Andrew Morton
2025-11-08 16:03         ` Ankit Khushwaha
2025-11-09  6:54         ` Mike Rapoport [this message]
2025-11-09 19:11           ` Vlastimil Babka
2025-11-10 21:43             ` Nathan Chancellor
2025-11-06 14:40 ` Lorenzo Stoakes

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=aRA6lEQmmrvmj2DX@kernel.org \
    --to=rppt@kernel.org \
    --cc=Liam.Howlett@oracle.com \
    --cc=akpm@linux-foundation.org \
    --cc=ankitkhushwaha.linux@gmail.com \
    --cc=david@kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-kselftest@vger.kernel.org \
    --cc=linux-mm@kvack.org \
    --cc=lorenzo.stoakes@oracle.com \
    --cc=mhocko@suse.com \
    --cc=nathan@kernel.org \
    --cc=shuah@kernel.org \
    --cc=surenb@google.com \
    --cc=vbabka@suse.cz \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.