2039 compute jump targets

TypeCobol.Analysis.Test/BasicCfgInstrs/ExtendedPerformProc3Recursive0.diag

@@ -1,3 +1,2 @@
 --- Diagnostics ---
-Line 28[15,29] <37, Warning, General> - Warning: A recursive loop has been encountered while analyzing 'PERFORM pararec', recursive instruction is '       perform pararec2'.
 Line 29[15,57] <37, Warning, General> - Warning: Unreachable code detected

TypeCobol.Analysis.Test/BasicCfgInstrs/ExtendedPerformProc4Recursive0.diag

@@ -1,5 +1,2 @@
 --- Diagnostics ---
-Line 31[15,29] <37, Warning, General> - Warning: A recursive loop has been encountered while analyzing 'PERFORM pararec', recursive instruction is '       perform pararec2'.
 Line 32[15,57] <37, Warning, General> - Warning: Unreachable code detected
-Line 57[15,64] <37, Warning, General> - Warning: A recursive loop has been encountered while analyzing 'PERFORM pararec4', recursive instruction is '       perform pararec4 varying n from 1 by 1 until n > 5'.
-Line 57[15,64] <37, Warning, General> - Warning: A recursive loop has been encountered while analyzing 'PERFORM pararec4', recursive instruction is '       perform pararec3 test after varying n from 1 by 1 until n'.

TypeCobol.Analysis.Test/BasicCfgInstrs/SG102A.diag

@@ -15,10 +15,6 @@ Line 242[13,46] <37, Warning, General> - Warning: "end-if" is missing
 Line 250[12,37] <37, Warning, General> - Warning: "end-if" is missing
 Line 266[12,43] <37, Warning, General> - Warning: "end-if" is missing
 Line 267[12,42] <37, Warning, General> - Warning: "end-if" is missing
-Line 269[41,66] <37, Warning, General> - Warning: A recursive loop has been encountered while analyzing 'PERFORM WRITE-LINE', recursive instruction is '                                      PERFORM WRT-LN'.
-Line 269[41,66] <37, Warning, General> - Warning: A recursive loop has been encountered while analyzing 'PERFORM WRITE-LINE', recursive instruction is '                                      PERFORM WRT-LN 2 TIMES'.
-Line 269[41,66] <37, Warning, General> - Warning: A recursive loop has been encountered while analyzing 'PERFORM WRITE-LINE', recursive instruction is '                                         PERFORM WRT-LN'.
-Line 269[41,66] <37, Warning, General> - Warning: A recursive loop has been encountered while analyzing 'PERFORM WRITE-LINE', recursive instruction is '    PERFORM WRT-LN'.
 Line 276[12,43] <37, Warning, General> - Warning: "end-if" is missing
 Line 277[12,38] <37, Warning, General> - Warning: "end-if" is missing
 Line 293[12,16] <37, Warning, General> - Warning: ALTER should not be used

TypeCobol.Analysis/Cfg/ControlFlowGraphBuilder.BasicBlockForNode.cs

@@ -9,18 +9,8 @@ public partial class ControlFlowGraphBuilder<D>
         /// <summary>
         /// BasicBlock which instruction are Nodes.
         /// </summary>
-        /// <typeparam name="D"></typeparam>
         public class BasicBlockForNode : BasicBlock<Node, D>
         {
-            /// <summary>
-            /// Any tag associated to this Node.
-            /// </summary>
-            public object Tag
-            {
-                get;
-                set;
-            }
-
             /// <summary>
             /// Set whether full instruction must be generated are not.
             /// If not only the instruction name will be generated.

TypeCobol.Analysis/Cfg/ControlFlowGraphBuilder.BasicBlockForNodeGroup.cs

@@ -63,17 +63,6 @@ internal bool IsAfterIterativeGroup
                 set;
             }
 
-            /// <summary>
-            /// To detect recursivity on PERFORM Procedure calls.
-            /// This is a bit array of GroupIndex encountered during the workflow
-            /// call of other PERFORM.
-            /// </summary>
-            internal BitArray RecursivityGroupSet
-            {
-                get;
-                set;
-            }
-
             /// <summary>
             /// Constructor.
             /// </summary>

TypeCobol.Analysis/Cfg/ControlFlowGraphBuilder.DeclarativesContext.cs

@@ -1,4 +1,6 @@
 using System.Collections.Generic;
+using TypeCobol.Analysis.Graph;
+using TypeCobol.Compiler.Nodes;
 
 namespace TypeCobol.Analysis.Cfg
 {
@@ -17,7 +19,7 @@ private class DeclarativesContext
             /// <summary>
             /// All sections inside this Declaratives.
             /// </summary>
-            private LinkedList<Section> _sections;
+            private LinkedList<ControlFlowGraph<Node, D>.Section> _sections;
 
             /// <summary>
             /// The related CFG builder
@@ -30,7 +32,7 @@ private class DeclarativesContext
             /// <param name="currentProgramCfgBuilder">The related CFG Builder</param>
             internal DeclarativesContext(ControlFlowGraphBuilder<D> currentProgramCfgBuilder)
             {
-                _sections = new LinkedList<Section>();
+                _sections = new LinkedList<ControlFlowGraph<Node, D>.Section>();
                 _builder = currentProgramCfgBuilder;
             }
 
@@ -43,7 +45,7 @@ internal void Start(BasicBlockForNode originBlock)
                 _originBlock = originBlock;
             }
 
-            public void AddSection(Section section)
+            public void AddSection(ControlFlowGraph<Node, D>.Section section)
             {
                 _sections.AddLast(section);
             }