Incorrect Scoping when using continue

[Thierry Delisle]

CFA code :

int main() {
	for(4) {
		if(true) continue;
		int num = 0;
	}
}

This should compile normally but results in an error claiming the continue jumps into a scope where num exists but was not initialized.

The reason is that the code is rewritten as :

int main(){
    for (4) {
        if (true) goto __loopContinue;
        int num = 0;
        __loopContinue: __attribute__ ((unused));
    }
}

It should probably be :

int main(){
    for (4) {
        {
            if (true) goto __loopContinue;
            int num = 0;
        }
        __loopContinue: __attribute__ ((unused));
    }
}

[Thierry Delisle <tdelisle@…>]

In 397c101:

Fix bug where 'continue' would incorrectly claim to skip initialization Fixes #150

[Thierry Delisle <tdelisle@…>]

In 397c101:

Fix bug where 'continue' would incorrectly claim to skip initialization Fixes #150