[flang-commits] [flang] 3f55311 - [flang] Fix optional assertion in PFTBuilder

[Valentin Clement via flang-commits]

Author: Valentin Clement
Date: 2023-02-08T16:54:36+01:00
New Revision: 3f55311a0afff6278571922e1c23bf5c71dd2d0b

URL: https://github.com/llvm/llvm-project/commit/3f55311a0afff6278571922e1c23bf5c71dd2d0b
DIFF: https://github.com/llvm/llvm-project/commit/3f55311a0afff6278571922e1c23bf5c71dd2d0b.diff

LOG: [flang] Fix optional assertion in PFTBuilder

D142279 enabled assertion in libstdc++ and one was triggered
in the PFTBuilder because an optional was access even if it was
null.
This patch fix this issue and add a regression test.

Reviewed By: jeanPerier

Differential Revision: https://reviews.llvm.org/D143589

Added: 
    flang/test/Lower/pre-fir-tree08.f

Modified: 
    flang/lib/Lower/PFTBuilder.cpp

Removed: 
    


################################################################################
diff  --git a/flang/lib/Lower/PFTBuilder.cpp b/flang/lib/Lower/PFTBuilder.cpp
index b9215f5ba2f4..d7bc7c132f4c 100644
--- a/flang/lib/Lower/PFTBuilder.cpp
+++ b/flang/lib/Lower/PFTBuilder.cpp
@@ -511,7 +511,7 @@ class PFTBuilder {
       auto branchTargetMatch = [&]() {
         if (const parser::Label targetLabel =
                 ifCandidateStack.back().ifTargetLabel)
-          if (targetLabel == *targetEval.label)
+          if (targetEval.label && targetLabel == *targetEval.label)
             return true; // goto target match
         if (targetEvalIsEndDoStmt && ifCandidateStack.back().isCycleStmt)
           return true; // cycle target match

diff  --git a/flang/test/Lower/pre-fir-tree08.f b/flang/test/Lower/pre-fir-tree08.f
new file mode 100755
index 000000000000..a7ee4eb23fc0
--- /dev/null
+++ b/flang/test/Lower/pre-fir-tree08.f
@@ -0,0 +1,21 @@
+! RUN: %flang_fc1 -fdebug-pre-fir-tree -fopenacc %s | FileCheck %s
+	program rewrite_goto
+	integer b
+	
+	b = dummy(10)
+
+	end
+      function dummy(a)
+      integer, a
+      
+      do 10 i=1,10
+  10  if(i .EQ. 1) GOTO 11
+      i=0
+  11  dummy = a + i
+      return
+      end
+
+! CHECK: <<IfConstruct!>> -> 5
+! CHECK: 2 ^IfStmt -> 5: 10if(i.eq.1)goto11
+! CHECK: 3 ^GotoStmt! -> 7: goto11
+