Re: [CIL users] gotos are not preceded by line directives

2011-01-05 Thread Gabriel Kerneis
On Wed, Jan 05, 2011 at 06:06:33PM -0500, Elnatan Reisner wrote: > Following up on a post from long ago, here is a patch which prints > #line directives before goto statements and sets the location of > gotos inserted when an && or || is unfolded to the location of the > statement within which the

Re: [CIL users] gotos are not preceded by line directives

2011-01-05 Thread Elnatan Reisner
Following up on a post from long ago, here is a patch which prints #line directives before goto statements and sets the location of gotos inserted when an && or || is unfolded to the location of the statement within which the operator resides. (Before, such inserted goto statements were giv