public inbox for smatch@vger.kernel.org
 help / color / mirror / Atom feed
From: Dan Carpenter <dan.carpenter@linaro.org>
To: Harshit Mogalapalli <harshit.m.mogalapalli@oracle.com>
Cc: smatch@vger.kernel.org,
	Marion & Christophe JAILLET <christophe.jaillet@wanadoo.fr>,
	Dan Carpenter <error27@gmail.com>
Subject: Re: ida_alloc_range() check question
Date: Thu, 22 Jan 2026 14:15:16 +0300	[thread overview]
Message-ID: <aXIGxPevOx-UhM72@stanley.mountain> (raw)
In-Reply-To: <db7db611-4544-45dc-bc45-9fd2e7ee8d20@oracle.com>

Harshit sent me private email to ignore so I did.  But he meant to ignore
a different copy of this email...

On Sun, Jan 11, 2026 at 02:36:04AM +0530, Harshit Mogalapalli wrote:
> Hi,
> 
> 
> I have seen this warning on linux-next:
> drivers/pci/ide.c:42 reserve_stream_index() error: Calling ida_alloc_range()
> with a 'max' argument which is a power of 2. -1 missing?
> 
> I was wondering if it would be reasonable to skip when min is not zero ?
> 

I don't get a warning in drivers/pci/ide.c.  I don't see how it triggers
a warning for you.  I'm on linux next.

I reviewed the other 5 warnings and they all seem like real bugs.  I
should update the inline warnings to be a better format, but I can't
promise when that will happen.

regards,
dan carpenter


      reply	other threads:[~2026-01-22 11:15 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-01-10 21:06 ida_alloc_range() check question Harshit Mogalapalli
2026-01-22 11:15 ` Dan Carpenter [this message]

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=aXIGxPevOx-UhM72@stanley.mountain \
    --to=dan.carpenter@linaro.org \
    --cc=christophe.jaillet@wanadoo.fr \
    --cc=error27@gmail.com \
    --cc=harshit.m.mogalapalli@oracle.com \
    --cc=smatch@vger.kernel.org \
    /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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox