On 1/11/2025 8:32 AM, Jakub Kicinski wrote:
On Fri, 10 Jan 2025 10:52:52 +0000 Simon Horman wrote:
I don't think there is a need to update the code just to make Smatch happy.
Only if there is a real problem. Which, with the discussion at the link
above in mind, does not seem to be the case here.
Maybe be good to add a one line comment in the code to make it clear
this is intentional. Chances are we'll get a semi-automated "fixes"
for this before long.
Sure, I will add the comment to make it clear.
