Re: smatch devel branch

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.

Thanks,
Harshit