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.