>> I would find it nice to explain the different software behaviour for the >> mentioned >> SmPL code variants > > Run spatch -parse-cocci and you will easily see. The if stays in the same > place. When the isomorphism exchanges the branches, the condition gets > negated, so in one case you get the position of the full condition and > in the other case you get the position of the part of the condition under > the negation.
Do any of these transformations avoid the reporting of duplicate source code positions? >>> I think that you just want to disable the isomorphism. Put disable neg_if >>> in the initial @@ of your rule. Will a need evolve to switch isomorphisms completely off for safer (and efficient) analysis of original source code? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
