[Cocci] Analysis for Linux source files

[julia.lawall@lip6.fr (Julia Lawall)]

I get the problem on the following code:

irqreturn_t
nouveau_irq_handler(DRM_IRQ_ARGS)
{
        struct drm_device *dev = arg;
        struct nouveau_device *device = nouveau_dev(dev);
        struct nouveau_mc *pmc = nouveau_mc(device);
        u32 stat;

        stat = nv_rd32(device, 0x000100);
        if (stat == 0 || stat == ~0)
                return IRQ_NONE;

        nv_subdev(pmc)->intr(nv_subdev(pmc));
        return IRQ_HANDLED;
}

I would suspect that there is some inconsistency in how it is parsing this
kind of argument list.  It seems to parse it OK, but then not be able to
match it against a pattern like ...,x,...  I can look at it in more detail
tomorrow.

julia