Powered by Linux
Re: min/max() changes — Semantic Matching Tool

Re: min/max() changes

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Fri, Aug 02, 2024 at 11:41:05AM -0500, Dan Carpenter wrote:
> 4) Smatch thinks functions are dereferencing parameters when they are
>    not.  Code like "foo = min(param ? param->bar : xxx, yyy);"  The
>    "param" variable isn't dereferenced without checking.

Wow wow wow.  Smatch no longer thinks that nfsacl_size() dereferences
"acl".  That's it folks!  That's the whole ball game!  Four for Four!
Smatch no longer has any bugs!  I'm going to retire to an island now
that I have fixed everything.

;)

Let me know if you see any other bugs from the min/max() changes.  Or
any bugs at all really.  Feel free.

regards,
dan carpenter




[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux