Thanks. In theory, Smatch is supposed to be able to parse this correctly but do_setlink() is too complicated for Smatch. net/core/rtnetlink.c:2824 do_setlink() warn: Function too hairy. No more merges. So then the callers think that ifm->ifi_index is not used and they don't pass that information. It's hard to know how to fix this... regards, dan carpenter