Changeset d9a0e76 for translator/ControlStruct/LabelTypeChecker.cc

Timestamp:

Dec 16, 2014, 9:41:50 PM (10 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

17cd4eb

Parents:

3848e0e

Message:

remove Parser.old, add -XCFA to driver, copy ptrdiff_t from stddef.h in preclude, remove casts from initialization constants, adjust formatting

File:

• translator/ControlStruct/LabelTypeChecker.cc (modified) (1 diff)

translator/ControlStruct/LabelTypeChecker.cc

@@ -11 +11 @@
 
 namespace ControlStruct {
+    void LabelTypeChecker::visit(UntypedExpr *untypedExpr){
+        assert( untypedExpr != 0 );
+        NameExpr *fname;
+        if ( ((fname = dynamic_cast<NameExpr *>(untypedExpr->get_function())) != 0) 
+            && fname->get_name() == std::string("LabAddress") )
+            std::cerr << "Taking the label of an address." << std::endl;
+        else {
+            acceptAll( untypedExpr->get_results(), *this );
+            acceptAll( untypedExpr->get_args(), *this );
+        } // if
+        return;
+    }
 
-  void LabelTypeChecker::visit(UntypedExpr *untypedExpr){
-    assert( untypedExpr != 0 );
-    NameExpr *fname;
-    if( ((fname = dynamic_cast<NameExpr *>(untypedExpr->get_function())) != 0) 
-        && fname->get_name() == std::string("LabAddress") )
-      std::cerr << "Taking the label of an address." << std::endl;
-    else {
-      acceptAll( untypedExpr->get_results(), *this );
-      acceptAll( untypedExpr->get_args(), *this );
+    void LabelTypeChecker::visit(CompoundStmt *compoundStmt) {
+        index.enterScope();
+        acceptAll( compoundStmt->get_kids(), *this );
+        index.leaveScope();
     }
-    return;
-  }
 
-  void LabelTypeChecker::visit(CompoundStmt *compoundStmt) {
-    index.enterScope();
-    acceptAll( compoundStmt->get_kids(), *this );
-    index.leaveScope();
-  }
+    void LabelTypeChecker::visit(DeclStmt *declStmt){
+        declStmt->accept( index );
 
-  void LabelTypeChecker::visit(DeclStmt *declStmt){
-    declStmt->accept( index );
+        //ObjectDecl *odecl = 0;
+        // if ( ( odecl = dynamic_cast<ObjectDecl *>(declStmt->get_decl()) ) != 0 ){
+        return;
+    }
 
-    //ObjectDecl *odecl = 0;
-    // if( ( odecl = dynamic_cast<ObjectDecl *>(declStmt->get_decl()) ) != 0 ){
-    return;
-  }
+    void LabelTypeChecker::visit(BranchStmt *branchStmt) {
+        if ( branchStmt->get_type() != BranchStmt::Goto ) return;
+        Expression *target;
+        if ( (target = branchStmt->get_computedTarget()) == 0 ) return;
 
-  void LabelTypeChecker::visit(BranchStmt *branchStmt) {
-    if( branchStmt->get_type() != BranchStmt::Goto ) return;
-    Expression *target;
-    if( (target = branchStmt->get_computedTarget()) == 0 ) return;
+        NameExpr *name;
+        if ( ((name = dynamic_cast<NameExpr *>(target)) == 0) )
+            return; // Not a name expression
+    
+        std::list< DeclarationWithType * > interps;
+        index.lookupId(name->get_name(), interps);
+        if ( interps.size() != 1)
+            // in case of multiple declarations
+            throw SemanticError("Illegal label expression: " + name->get_name() );
 
-    NameExpr *name;
-    if( ((name = dynamic_cast<NameExpr *>(target)) == 0) )
-      return; // Not a name expression
-    
-    std::list< DeclarationWithType * > interps;
-    index.lookupId(name->get_name(), interps);
-    if ( interps.size() != 1)
-      // in case of multiple declarations
-      throw SemanticError("Illegal label expression: " + name->get_name() );
+        PointerType *ptr;
+        if ( (ptr = dynamic_cast<PointerType *>(interps.front()->get_type())) != 0 )
+            if ( dynamic_cast<VoidType *>(ptr->get_base()) != 0 )
+                return;
+            else
+                throw SemanticError("Wrong type of parameter for computed goto");
+        else
+            throw SemanticError("Wrong type of parameter for computed goto");
 
-    PointerType *ptr;
-    if ( (ptr = dynamic_cast<PointerType *>(interps.front()->get_type())) != 0 )
-      if ( dynamic_cast<VoidType *>(ptr->get_base()) != 0 )
         return;
-      else
-        throw SemanticError("Wrong type of parameter for computed goto");
-    else
-        throw SemanticError("Wrong type of parameter for computed goto");
-
-    return;
-  }
+    }
 } // namespace ControlStruct
-
-
-
-
-