imcc allows multiple .locals of the same name

[cotto]

A variety of code generating tools (PGE, PCT) like the ability to be able to re-declare an existing symbol (but always with the same type).

Personally, I'd like to see that redeclaring a symbol with the same type is allowed in PIR , but redeclaring with a different type throws an error.

Pm

[NotFound]

Not a blocker, but after discussion in irc a test revealed a lot of multiple locals, and locals with the same name as a param, in the current code base. Reopening the ticket.

[NotFound]

fail on duplicated local/param identifiers

[NotFound]

With this patch I've been able to locate and fix a lot of duplicates in the code base and in tests. But I'm locked with a failed test in t/compilers/pct/complete_workflow.t that I don't know how to fix, or if the issue will impact pct based languages. Thus I don't committed it.

[pmichaud]

Replying to cotto:

This ticket comes from RT #37245. Basically, imcc allows the following code to run, which it obviously shouldn't. {{{ .sub foo .local pmc bar .local int bar bar = 2 print bar .end }}} This is a known bug, but because imcc is on the way out it's not worth fixing. This bug isn't currently known to block anything, but it can be reopened if it becomes a blocker.

[NotFound]

I modified the previous patch to catch only the duplications with different type, and found that the previous version only catched the ones with same type, and now catches a few that breaks the build. So I changed it to emit a warning instead of failing, and commited it on r39652 in order to help fixing that problems.

[NotFound]

After 1.4 release, and verified that the blockers had been fixed, converted the warning to an error in r40227.

I'll close the ticket in a few days unless unexpected problems appears.

[NotFound]

No complaints heard, closing ticket.