> Maybe you consider the following results to be a problem:
>
> kzalloc mcde [("mcde_probe", 2, 0, 198, 1, "m.c", 16, 1, 16, 3)]
> kzalloc ! mcde [("mcde_probe", 2, 0, 198, 1, "m.c", 16, 1, 16, 3)]
> platform_get_irq irq [("mcde_probe", 2, 0, 198, 1, "m.c", 97, 1, 97, 3)]
> platform_get_irq ! irq [("mcde_probe", 2, 0, 198, 1, "m.c", 97, 1, 97, 3)]
>
> The positions are the same. The result is because of an isomorphism that
> exchanges the branches of a conditional.
Can the data which are provided because of isomorphism transformations
be distinguished by an additional attribute?
> I think that you could have figured this out by yourself. If you just
> printed out the data instead of wrapping it in lots of database noise,
> then you could have seen what was going on.
I got the impression that there are further software development
challenges to consider (also for safer counting of record sets).
Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
