Re: smatch devel branch

On Thu, Jun 11, 2026 at 01:38:38PM +0530, Harshit Mogalapalli wrote:
> Hi Dan,
> 
> Regression report 3:
> 
> net/rds/connection.c:547 rds_conn_destroy() warn: mixing irq and irqsave
> 
> this is not reproducible  with smatch-devel.
> 
> I think some of these are false positives, but anyway wanted to bring these
> to your attention.

Fixed and pushed.  Thanks!

Also that rds_conn_destroy() code is nonsense.  The warning is valid.  :P

I worry there may be other code where I tried to silence the
warning and now nothing is printed...

regards,
dan carpenter