>> The uncertainty around the partly (un)documented software behaviour >> for SmPL when constraints makes it unclear then if the presented >> source code place should finally be treated as a false positive.
Will it be easier to clarify this open issue based on a smaller source code example? https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/drivers/net/ethernet/chelsio/libcxgb/libcxgb_cm.c?id=531e93d11470aa2e14e6a3febef50d9bc7bab7a1#n76 static bool cxgb_our_interface(struct cxgb4_lld_info *lldi, struct net_device *(*get_real_dev)(struct net_device *), struct net_device *egress_dev) { int i; egress_dev = get_real_dev(egress_dev); for (i = 0; i < lldi->nports; i++) if (lldi->ports[i] == egress_dev) return true; return false; } Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
