Changeset b56ad5e for src/ControlStruct/LabelFixer.h

Timestamp:

Feb 4, 2022, 10:10:34 PM (4 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

f8143a6

Parents:

5f3ba11 (diff), 67e86ae6 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/ControlStruct/LabelFixer.h (modified) (2 diffs)

src/ControlStruct/LabelFixer.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Jul 22 09:17:24 2017
-// Update Count     : 34
+// Last Modified On : Mon Jan 31 22:28:04 2022
+// Update Count     : 35
 //
 
@@ -26 +26 @@
 
 namespace ControlStruct {
-        /// normalizes label definitions and generates multi-level exit labels
-        class LabelGenerator;
+// normalizes label definitions and generates multi-level exit labels
+class LabelGenerator;
 
-        class LabelFixer final : public WithGuards {
-          public:
-                LabelFixer( LabelGenerator *gen = 0 );
+class LabelFixer final : public WithGuards {
+  public:
+        LabelFixer( LabelGenerator *gen = 0 );
 
-                std::map < Label, Statement * > *resolveJumps() throw ( SemanticErrorException );
+        std::map < Label, Statement * > *resolveJumps() throw ( SemanticErrorException );
 
-                // Declarations
-                void previsit( FunctionDecl *functionDecl );
-                void postvisit( FunctionDecl *functionDecl );
+        // Declarations
+        void previsit( FunctionDecl *functionDecl );
+        void postvisit( FunctionDecl *functionDecl );
 
-                // Statements
-                void previsit( Statement *stmt );
-                void previsit( BranchStmt *branchStmt );
+        // Statements
+        void previsit( Statement *stmt );
+        void previsit( BranchStmt *branchStmt );
 
-                // Expressions
-                void previsit( LabelAddressExpr *addrExpr );
+        // Expressions
+        void previsit( LabelAddressExpr *addrExpr );
 
-                Label setLabelsDef( std::list< Label > &, Statement *definition );
-                template< typename UsageNode >
-                void setLabelsUsg( Label, UsageNode *usage = 0 );
+        Label setLabelsDef( std::list< Label > &, Statement *definition );
+        template< typename UsageNode >
+        void setLabelsUsg( Label, UsageNode *usage = 0 );
+
+  private:
+        class Entry {
+                public:
+                Entry( Statement *to ) : definition( to ) {}
+                bool defined() { return ( definition != 0 ); }
+                bool insideLoop();
+
+                Label get_label() const { return label; }
+                void set_label( Label lab ) { label = lab; }
+
+                Statement *get_definition() const { return definition; }
+                void set_definition( Statement *def ) { definition = def; }
 
           private:
-                class Entry {
-                        public:
-                        Entry( Statement *to ) : definition( to ) {}
-                        bool defined() { return ( definition != 0 ); }
-                        bool insideLoop();
+                Label label;
+                Statement *definition;
+        };
 
-                        Label get_label() const { return label; }
-                        void set_label( Label lab ) { label = lab; }
-
-                        Statement *get_definition() const { return definition; }
-                        void set_definition( Statement *def ) { definition = def; }
-
-                  private:
-                        Label label;
-                        Statement *definition;
-                };
-
-                std::map < Label, Entry *> labelTable;
-                LabelGenerator *generator;
-        };
+        std::map < Label, Entry *> labelTable;
+        LabelGenerator *generator;
+};
 } // namespace ControlStruct