[flang-commits] [flang] [flang][PFT] Mark ASSIGN'd labels as assigned GO TO targets (PR #218674)

[via flang-commits]

jeanPerier wrote:

> LGTM, thanks.
> 
> Not asking you to do it, but do you know if semantic analysis is raising a warning (under pedantic?) since this is a violation of Fortran 77 rules about assigned goto ?

After giving it a bit more thought, a semantic check would be hard because the constraint does not preclude a label that is not in the list to be assigned to the assigned go to variable, it only forbids the variable from having such value when reaching the go to. So a runtime check would be the way to enforce it and it cannot be generated by default given the relaxation.

https://github.com/llvm/llvm-project/pull/218674