[llvm-branch-commits] [flang] [flang] Do not branch to a FORMAT statement from an assigned GO TO (PR #217220)

[Kareem Ergawy via llvm-branch-commits]

================
@@ -1067,7 +1082,7 @@ class PFTBuilder {
                 auto iter = assignSymbolLabelMap->find(*sym);
                 if (iter != assignSymbolLabelMap->end())
                   for (auto label : iter->second)
-                    markBranchTarget(eval, label);
+                    markIfBranchTarget(label);
----------------
ergawy wrote:

> I think it would be better to make AssignStmt use the same semantic mechanism used by AssignedGotoStmt (whatever that check is).

This is done in 6d3274b48ed580f1a759895bfea11694af4cb719.

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