Changeset de62360d for src/ResolvExpr

Timestamp:

Jun 24, 2015, 4:04:19 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:

94e0864d

Parents:

a1d5d2a

Message:

fix computed goto, fixed -std=, implicit typedefs for enum and aggregates, add _Noreturn _Thread_local

Location:

src/ResolvExpr

Files:

• AlternativeFinder.cc (modified) (2 diffs)
• Resolver.cc (modified) (3 diffs)

src/ResolvExpr/AlternativeFinder.cc ¶

@@ -10 +10 @@
 // Created On       : Sat May 16 23:52:08 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Jun  8 14:53:58 2015
-// Update Count     : 14
+// Last Modified On : Mon Jun 22 17:19:54 2015
+// Update Count     : 17
 //
 
@@ -545 +545 @@
                         NameExpr *fname;
                         if ( ( fname = dynamic_cast<NameExpr *>( untypedExpr->get_function()))
-                                 && ( fname->get_name() == std::string("LabAddress")) ) {
-                                alternatives.push_back( Alternative( untypedExpr, env, Cost()) );
+                                 && ( fname->get_name() == std::string("&&")) ) {
+                                alternatives.push_back( Alternative( untypedExpr->clone(), env, Cost()) );
                                 return;
                         }

src/ResolvExpr/Resolver.cc ¶

@@ -10 +10 @@
 // Created On       : Sun May 17 12:17:01 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun Jun  7 21:50:37 2015
-// Update Count     : 23
+// Last Modified On : Wed Jun 24 15:47:16 2015
+// Update Count     : 50
 //
 
@@ -45 +45 @@
                 virtual void visit( ChooseStmt *switchStmt );
                 virtual void visit( CaseStmt *caseStmt );
+                virtual void visit( BranchStmt *branchStmt );
                 virtual void visit( ReturnStmt *returnStmt );
 
@@ -260 +261 @@
         void Resolver::visit( CaseStmt *caseStmt ) {
                 Visitor::visit( caseStmt );
+        }
+
+        void Resolver::visit( BranchStmt *branchStmt ) {
+                // must resolve the argument for a computed goto
+                if ( branchStmt->get_type() == BranchStmt::Goto ) { // check for computed goto statement
+                        if ( NameExpr * arg = dynamic_cast< NameExpr * >( branchStmt->get_computedTarget() ) ) {
+                                VoidType v = Type::Qualifiers();                // cast to void * for the alternative finder
+                                PointerType pt( Type::Qualifiers(), v.clone() );
+                                CastExpr * castExpr = new CastExpr( arg, pt.clone() );
+                                Expression * newExpr = findSingleExpression( castExpr, *this ); // find best expression
+                                branchStmt->set_target( newExpr );
+                        } // if
+                } // if
         }