>> * To which source code place should the word "location" refer to? >> - jump source >> - jump target > > I think you digested the paragraph in too small bits.
I would prefer to reduce the probability for misunderstandings of the proposed wording a bit more. > The term "goto location" looks synonymous to "jump source" to me. I would interpret it differently because of the specific placement of this key word before an other term. Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
