Hi Dan On Tue, 23 Apr 2024 at 11:55, Dan Carpenter <dan.carpenter@xxxxxxxxxx> wrote: > > Btw, here is the output from my check (based on linux next from a few > days ago). There are some false positives because Smatch parses > __pow10() incorrectly etc but it's mostly correct. This looks pretty cool :) Are you planning to add this to smatch soon? Thanks!