Changeset 2890212 for src/ResolvExpr/CurrentObject.cc

Timestamp:

Jul 31, 2019, 3:23:04 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

ae265b55, f49b3fc

Parents:

504eb72

Message:

Startup.cfa now compiles with new ast

File:

• src/ResolvExpr/CurrentObject.cc (modified) (14 diffs)

src/ResolvExpr/CurrentObject.cc

@@ -25 +25 @@
 #include "AST/Init.hpp"                // for Designation
 #include "AST/Node.hpp"                // for readonly
+#include "AST/Print.hpp"                // for readonly
 #include "AST/Type.hpp"
 #include "Common/Indenter.h"           // for Indenter, operator<<
@@ -596 +597 @@
                 SimpleIterator( const CodeLocation & loc, const Type * t ) : location( loc ), type( t ) {}
 
-                void setPosition( 
-                        std::deque< ptr< Expr > >::const_iterator begin, 
+                void setPosition(
+                        std::deque< ptr< Expr > >::const_iterator begin,
                         std::deque< ptr< Expr > >::const_iterator end
                 ) override {
@@ -637 +638 @@
                         auto res = eval(expr);
                         if ( ! res.second ) {
-                                SemanticError( location, 
+                                SemanticError( location,
                                         toString("Array designator must be a constant expression: ", expr ) );
                         }
@@ -644 +645 @@
 
         public:
-                ArrayIterator( const CodeLocation & loc, const ArrayType * at ) 
+                ArrayIterator( const CodeLocation & loc, const ArrayType * at )
                 : location( loc ), array( at ), base( at->base ) {
                         PRINT( std::cerr << "Creating array iterator: " << at << std::endl; )
@@ -655 +656 @@
 
                 void setPosition( const Expr * expr ) {
-                        // need to permit integer-constant-expressions, including: integer constants, 
-                        // enumeration constants, character constants, sizeof expressions, alignof expressions, 
+                        // need to permit integer-constant-expressions, including: integer constants,
+                        // enumeration constants, character constants, sizeof expressions, alignof expressions,
                         // cast expressions
                         if ( auto constExpr = dynamic_cast< const ConstantExpr * >( expr ) ) {
@@ -662 +663 @@
                                         index = constExpr->intValue();
                                 } catch ( SemanticErrorException & ) {
-                                        SemanticError( expr, 
+                                        SemanticError( expr,
                                                 "Constant expression of non-integral type in array designator: " );
                                 }
                         } else if ( auto castExpr = dynamic_cast< const CastExpr * >( expr ) ) {
                                 setPosition( castExpr->arg );
-                        } else if ( 
-                                dynamic_cast< const SizeofExpr * >( expr ) 
-                                || dynamic_cast< const AlignofExpr * >( expr ) 
+                        } else if (
+                                dynamic_cast< const SizeofExpr * >( expr )
+                                || dynamic_cast< const AlignofExpr * >( expr )
                         ) {
                                 index = 0;
                         } else {
-                                assertf( false, 
+                                assertf( false,
                                         "bad designator given to ArrayIterator: %s", toString( expr ).c_str() );
                         }
                 }
 
-                void setPosition( 
-                        std::deque< ptr< Expr > >::const_iterator begin, 
+                void setPosition(
+                        std::deque< ptr< Expr > >::const_iterator begin,
                         std::deque< ptr< Expr > >::const_iterator end
                 ) override {
@@ -758 +759 @@
                 }
 
-                AggregateIterator( 
-                        const CodeLocation & loc, const std::string k, const std::string & n, const Type * i, 
+                AggregateIterator(
+                        const CodeLocation & loc, const std::string k, const std::string & n, const Type * i,
                         const MemberList & ms )
-                : location( loc ), kind( k ), name( n ), inst( i ), members( ms ), curMember( ms.begin() ), 
+                : location( loc ), kind( k ), name( n ), inst( i ), members( ms ), curMember( ms.begin() ),
                   sub( genericSubstitution( i ) ) {
                         PRINT( std::cerr << "Creating " << kind << "(" << name << ")"; )
@@ -768 +769 @@
 
         public:
-                void setPosition( 
-                        std::deque< ptr< Expr > >::const_iterator begin, 
+                void setPosition(
+                        std::deque< ptr< Expr > >::const_iterator begin,
                         std::deque< ptr< Expr > >::const_iterator end
                 ) final {
@@ -786 +787 @@
                                         return;
                                 }
-                                assertf( false, 
+                                assertf( false,
                                         "could not find member in %s: %s", kind.c_str(), toString( varExpr ).c_str() );
                         } else {
-                                assertf( false, 
+                                assertf( false,
                                         "bad designator given to %s: %s", kind.c_str(), toString( *begin ).c_str() );
                         }
@@ -842 +843 @@
                                 for ( InitAlternative & alt : ret ) {
                                         PRINT( std::cerr << "iterating and adding designators" << std::endl; )
-                                        alt.designation.get_and_mutate()->designators.emplace_front( 
+                                        alt.designation.get_and_mutate()->designators.emplace_front(
                                                 new VariableExpr{ location, curMember->strict_as< ObjectDecl >() } );
                                 }
@@ -897 +898 @@
         class TupleIterator final : public AggregateIterator {
         public:
-                TupleIterator( const CodeLocation & loc, const TupleType * inst ) 
-                : AggregateIterator( 
-                        loc, "TupleIterator", toString("Tuple", inst->size()), inst, inst->members 
+                TupleIterator( const CodeLocation & loc, const TupleType * inst )
+                : AggregateIterator(
+                        loc, "TupleIterator", toString("Tuple", inst->size()), inst, inst->members
                 ) {}
 
@@ -926 +927 @@
                                 return new UnionIterator{ loc, uit };
                         } else {
-                                assertf( 
-                                        dynamic_cast< const EnumInstType * >( aggr ) 
-                                                || dynamic_cast< const TypeInstType * >( aggr ), 
+                                assertf(
+                                        dynamic_cast< const EnumInstType * >( type )
+                                                || dynamic_cast< const TypeInstType * >( type ),
                                         "Encountered unhandled ReferenceToType in createMemberIterator: %s",
                                                 toString( type ).c_str() );
@@ -949 +950 @@
                 using DesignatorChain = std::deque< ptr< Expr > >;
                 PRINT( std::cerr << "___findNext" << std::endl; )
-                
+
                 // find all the d's
                 std::vector< DesignatorChain > desigAlts{ {} }, newDesigAlts;
@@ -1013 +1014 @@
                 // set new designators
                 assertf( ! objStack.empty(), "empty object stack when setting designation" );
-                Designation * actualDesignation = 
+                Designation * actualDesignation =
                         new Designation{ designation->location, DesignatorChain{d} };
                 objStack.back()->setPosition( d ); // destroys d