Changeset d672350 for src

src/AST/Convert.cpp

-              ref3c383
+              rd672350
 // Author           : Thierry Delisle
 // Created On       : Thu May 09 15::37::05 2019
 // Last Modified By : Peter A. Buhr
 // Last Modified On : Wed Feb  2 13:19:22 2022
 // Update Count     : 41
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Mar 16 15:01:00 2022
+// Update Count     : 42
 //
 …
 //================================================================================================
 namespace ast {
+// This is to preserve the FindSpecialDecls hack. It does not (and perhaps should not)
+// allow us to use the same stratagy in the new ast.
+// xxx - since convert back pass works, this concern seems to be unnecessary.
+// these need to be accessed in new FixInit now
+ast::ptr<ast::Type> sizeType = nullptr;
+const ast::FunctionDecl * dereferenceOperator = nullptr;
+const ast::StructDecl   * dtorStruct = nullptr;
+const ast::FunctionDecl * dtorStructDestroy = nullptr;
+// These are the shared local information used by ConverterNewToOld and
+// ConverterOldToNew to update the global information in the two versions.
+static ast::ptr<ast::Type> sizeType = nullptr;
+static const ast::FunctionDecl * dereferenceOperator = nullptr;
+static const ast::StructDecl   * dtorStruct = nullptr;
+static const ast::FunctionDecl * dtorStructDestroy = nullptr;
+}

src/AST/Decl.cpp

-              ref3c383
+              rd672350
         if ( uniqueId ) return;  // ensure only set once
         uniqueId = ++lastUniqueId;
+        idMap[ uniqueId ] = this;
+        // The extra readonly pointer is causing some reference counting issues.
+        // idMap[ uniqueId ] = this;
+}
 readonly<Decl> Decl::fromId( UniqueId id ) {
+        // Right now this map is always empty, so don't use it.
+        assert( false );
         IdMapType::const_iterator i = idMap.find( id );
         if ( i != idMap.end() ) return i->second;

src/AST/Fwd.hpp

-              ref3c383
+              rd672350
 class TranslationUnit;
+// TODO: Get from the TranslationUnit:
+extern ptr<Type> sizeType;
+extern const FunctionDecl * dereferenceOperator;
+extern const StructDecl   * dtorStruct;
+extern const FunctionDecl * dtorStructDestroy;
+class TranslationGlobal;
+}

src/AST/GenericSubstitution.cpp

ref3c383	rd672350
45	45	visit_children = false;
46	46	const AggregateDecl * aggr = ty->aggr();
47		sub = TypeSubstitution~~{ aggr->params.begin(), aggr->params.end(), ty->params.begin() }~~;
	47	sub = TypeSubstitution( aggr->params, ty->params );
48	48	}
49	49

src/AST/TranslationUnit.hpp

-              ref3c383
+              rd672350
 // Created On       : Tue Jun 11 15:30:00 2019
 // Last Modified By : Andrew Beach
 // Last Modified On : Tue Jun 11 15:42:00 2019
 // Update Count     : 0
+// Last Modified On : Tue Mar 11 11:19:00 2022
+// Update Count     : 1
 //
 …
 namespace ast {
+class TranslationGlobal {
+public:
+        std::map< UniqueId, Decl * > idMap;
+        ptr<Type> sizeType;
+        const FunctionDecl * dereference;
+        const StructDecl * dtorStruct;
+        const FunctionDecl * dtorDestroy;
+};
 class TranslationUnit {
 public:
         std::list< ptr< Decl > > decls;
+        struct Global {
+                std::map< UniqueId, Decl * > idMap;
+                ptr<Type> sizeType;
+                const FunctionDecl * dereference;
+                const StructDecl * dtorStruct;
+                const FunctionDecl * dtorDestroy;
+        } global;
+        TranslationGlobal global;
 };

src/AST/TypeSubstitution.hpp

-              ref3c383
+              rd672350
   public:
         TypeSubstitution();
+        template< typename FormalContainer, typename ActualContainer >
+        TypeSubstitution( FormalContainer formals, ActualContainer actuals );
         template< typename FormalIterator, typename ActualIterator >
         TypeSubstitution( FormalIterator formalBegin, FormalIterator formalEnd, ActualIterator actualBegin );
 …
         bool empty() const;
+        template< typename FormalContainer, typename ActualContainer >
+        void addAll( FormalContainer formals, ActualContainer actuals );
         template< typename FormalIterator, typename ActualIterator >
         void add( FormalIterator formalBegin, FormalIterator formalEnd, ActualIterator actualBegin );
+        void addAll( FormalIterator formalBegin, FormalIterator formalEnd, ActualIterator actualBegin );
         /// create a new TypeSubstitution using bindings from env containing all of the type variables in expr
 …
 };
+template< typename FormalContainer, typename ActualContainer >
+TypeSubstitution::TypeSubstitution( FormalContainer formals, ActualContainer actuals ) {
+        assert( formals.size() == actuals.size() );
+        addAll( formals.begin(), formals.end(), actuals.begin() );
+}
+template< typename FormalIterator, typename ActualIterator >
+TypeSubstitution::TypeSubstitution( FormalIterator formalBegin, FormalIterator formalEnd, ActualIterator actualBegin ) {
+        addAll( formalBegin, formalEnd, actualBegin );
+}
+template< typename FormalContainer, typename ActualContainer >
+void TypeSubstitution::addAll( FormalContainer formals, ActualContainer actuals ) {
+        assert( formals.size() == actuals.size() );
+        addAll( formals.begin(), formals.end(), actuals.begin() );
+}
 // this is the only place where type parameters outside a function formal may be substituted.
 template< typename FormalIterator, typename ActualIterator >
 void TypeSubstitution::add( FormalIterator formalBegin, FormalIterator formalEnd, ActualIterator actualBegin ) {
+void TypeSubstitution::addAll( FormalIterator formalBegin, FormalIterator formalEnd, ActualIterator actualBegin ) {
         // FormalIterator points to a TypeDecl
         // ActualIterator points to a Type
 …
                         } // if
                 } else {
+                        // Is this an error?
                 } // if
         } // for
+}
-template< typename FormalIterator, typename ActualIterator >
-TypeSubstitution::TypeSubstitution( FormalIterator formalBegin, FormalIterator formalEnd, ActualIterator actualBegin ) {
-        add( formalBegin, formalEnd, actualBegin );
+}
 } // namespace ast

src/AST/module.mk

-              ref3c383
+              rd672350
 SRC_AST = \
-        AST/AssertAcyclic.cpp \
-        AST/AssertAcyclic.hpp \
         AST/Attribute.cpp \
         AST/Attribute.hpp \
 …
         AST/TypeSubstitution.cpp \
         AST/TypeSubstitution.hpp \
+        AST/Util.cpp \
+        AST/Util.hpp \
         AST/Visitor.hpp

src/Common/CodeLocationTools.cpp

-              ref3c383
+              rd672350
 // Author           : Andrew Beach
 // Created On       : Fri Dec  4 15:42:00 2020
 // Last Modified By : Peter A. Buhr
 // Last Modified On : Tue Feb  1 09:14:39 2022
 // Update Count     : 3
+// Last Modified By : Andrew Beach
+// Last Modified On : Mon Mar 14 15:14:00 2022
+// Update Count     : 4
 //
 …
 };
+class LocalFillCore : public ast::WithGuards {
+        CodeLocation const * parent;
+public:
+        LocalFillCore( CodeLocation const & location ) : parent( &location ) {
+                assert( location.isSet() );
+        }
+        template<typename node_t>
+        auto previsit( node_t const * node )
+                        -> typename std::enable_if<has_code_location<node_t>::value, node_t const *>::type {
+                if ( node->location.isSet() ) {
+                        GuardValue( parent ) = &node->location;
+                        return node;
+                } else {
+                        node_t * mut = ast::mutate( node );
+                        mut->location = *parent;
+                        return mut;
+                }
+        }
+};
 } // namespace
 …
         ast::Pass<FillCore>::run( unit );
+}
+ast::Node const * localFillCodeLocations(
+                CodeLocation const & location , ast::Node const * node ) {
+        ast::Pass<LocalFillCore> visitor( location );
+        return node->accept( visitor );
+}

src/Common/CodeLocationTools.hpp

-              ref3c383
+              rd672350
 // Created On       : Fri Dec  4 15:35:00 2020
 // Last Modified By : Andrew Beach
 // Last Modified On : Wed Dec  9  9:53:00 2020
 // Update Count     : 1
+// Last Modified On : Mon Mar 14 15:14:00 2022
+// Update Count     : 2
 //
 #pragma once
+struct CodeLocation;
 namespace ast {
+        class Node;
         class TranslationUnit;
+}
 …
 // Assign a nearby code-location to any unset code locations in the forest.
 void forceFillCodeLocations( ast::TranslationUnit & unit );
+// Fill in code-locations with a parent code location,
+// using the provided CodeLocation as the base.
+ast::Node const *
+        localFillCodeLocations( CodeLocation const &, ast::Node const * );

src/Common/Examine.cc

-              ref3c383
+              rd672350
 // file "LICENCE" distributed with Cforall.
 //
 // Examine.h --
+// Examine.cc -- Helpers for examining AST code.
 //
 // Author           : Andrew Beach
 // Created On       : Wed Sept 2 14:02 2020
 // Last Modified By : Andrew Beach
 // Last Modified On : Wed Sep  8 12:15 2020
 // Update Count     : 0
+// Last Modified On : Fri Dec 10 10:27 2021
+// Update Count     : 1
 //
 #include "Common/Examine.h"
+#include "AST/Type.hpp"
 #include "CodeGen/OperatorTable.h"
+#include "InitTweak/InitTweak.h"
 DeclarationWithType * isMainFor( FunctionDecl * func, AggregateDecl::Aggregate kind ) {
 …
 namespace {
+// getTypeofThis but does some extra checks used in this module.
+const ast::Type * getTypeofThisSolo( const ast::FunctionDecl * func ) {
+        if ( 1 != func->params.size() ) {
+                return nullptr;
+        }
+        auto ref = func->type->params.front().as<ast::ReferenceType>();
+        return (ref) ? ref->base : nullptr;
+}
+}
+const ast::DeclWithType * isMainFor(
+                const ast::FunctionDecl * func, ast::AggregateDecl::Aggregate kind ) {
+        if ( "main" != func->name ) return nullptr;
+        if ( 1 != func->params.size() ) return nullptr;
+        auto param = func->params.front();
+        auto type = dynamic_cast<const ast::ReferenceType *>( param->get_type() );
+        if ( !type ) return nullptr;
+        auto obj = type->base.as<ast::StructInstType>();
+        if ( !obj ) return nullptr;
+        if ( kind != obj->base->kind ) return nullptr;
+        return param;
+}
+namespace {
         Type * getDestructorParam( FunctionDecl * func ) {
                 if ( !CodeGen::isDestructor( func->name ) ) return nullptr;
 …
                 return nullptr;
+        }
+const ast::Type * getDestructorParam( const ast::FunctionDecl * func ) {
+        if ( !CodeGen::isDestructor( func->name ) ) return nullptr;
+        //return InitTweak::getParamThis( func )->type;
+        return getTypeofThisSolo( func );
+}
+}
 …
         return false;
+}
+bool isDestructorFor(
+                const ast::FunctionDecl * func, const ast::StructDecl * type_decl ) {
+        if ( const ast::Type * type = getDestructorParam( func ) ) {
+                auto stype = dynamic_cast<const ast::StructInstType *>( type );
+                return stype && stype->base.get() == type_decl;
+        }
+        return false;
+}

src/Common/Examine.h

-              ref3c383
+              rd672350
 // file "LICENCE" distributed with Cforall.
 //
 // Examine.h --
+// Examine.h -- Helpers for examining AST code.
 //
 // Author           : Andrew Beach
 // Created On       : Wed Sept 2 13:57 2020
 // Last Modified By : Andrew Beach
 // Last Modified On : Wed Sep  8 12:08 2020
 // Update Count     : 0
+// Last Modified On : Fri Dec 10 10:28 2021
+// Update Count     : 1
 //
+#include "AST/Decl.hpp"
 #include "SynTree/Declaration.h"
 /// Check if this is a main function for a type of an aggregate kind.
 DeclarationWithType * isMainFor( FunctionDecl * func, AggregateDecl::Aggregate kind );
+const ast::DeclWithType * isMainFor(
+        const ast::FunctionDecl * func, ast::AggregateDecl::Aggregate kind );
 // Returns a pointer to the parameter if true, nullptr otherwise.
 /// Check if this function is a destructor for the given structure.
 bool isDestructorFor( FunctionDecl * func, StructDecl * type_decl );
+bool isDestructorFor(
+        const ast::FunctionDecl * func, const ast::StructDecl * type );

src/Concurrency/Keywords.cc

-              ref3c383
+              rd672350
+                        ;
                 else if ( auto param = isMainFor( decl, cast_target ) ) {
+                        // This should never trigger.
+                        assert( vtable_decl );
+                        if ( !vtable_decl ) {
+                                SemanticError( decl, context_error );
+                        }
                         // Should be safe because of isMainFor.
                         StructInstType * struct_type = static_cast<StructInstType *>(
 …
                                         //new TypeofType( noQualifiers, args.front()->clone() )
                                         new TypeofType( noQualifiers, new UntypedExpr(
                                                         new NameExpr( "__get_type" ),
+                                                        new NameExpr( "__get_mutexstmt_lock_type" ),
                                                         { args.front()->clone() }
+                                                )
 …
                                 map_range < std::list<Initializer*> > ( args, [](Expression * var ){
                                         return new SingleInit( new UntypedExpr(
                                                         new NameExpr( "__get_ptr" ),
+                                                        new NameExpr( "__get_mutexstmt_lock_ptr" ),
                                                         { var }
                                         ) );
 …
                 TypeExpr * lock_type_expr = new TypeExpr(
                         new TypeofType( noQualifiers, new UntypedExpr(
                                 new NameExpr( "__get_type" ),
+                                new NameExpr( "__get_mutexstmt_lock_type" ),
                                 { args.front()->clone() }
+                                )

src/Concurrency/KeywordsNew.cpp

-              ref3c383
+              rd672350
 // Created On       : Tue Nov 16  9:53:00 2021
 // Last Modified By : Andrew Beach
 // Last Modified On : Wed Dec  1 11:24:00 2021
 // Update Count     : 1
+// Last Modified On : Fri Mar 11 10:40:00 2022
+// Update Count     : 2
 //
+#include <iostream>
 #include "Concurrency/Keywords.h"
 …
 #include "AST/Copy.hpp"
 #include "AST/Decl.hpp"
+#include "AST/Expr.hpp"
 #include "AST/Pass.hpp"
 #include "AST/Stmt.hpp"
+#include "AST/DeclReplacer.hpp"
 #include "AST/TranslationUnit.hpp"
 #include "CodeGen/OperatorTable.h"
+#include "Common/Examine.h"
 #include "Common/utility.h"
+#include "Common/UniqueName.h"
+#include "ControlStruct/LabelGeneratorNew.hpp"
 #include "InitTweak/InitTweak.h"
+#include "Virtual/Tables.h"
 namespace Concurrency {
 …
 namespace {
+inline static bool isThread( const ast::DeclWithType * decl ) {
+// --------------------------------------------------------------------------
+// Loose Helper Functions:
+/// Detect threads constructed with the keyword thread.
+bool isThread( const ast::DeclWithType * decl ) {
         auto baseType = decl->get_type()->stripDeclarator();
         auto instType = dynamic_cast<const ast::StructInstType *>( baseType );
 …
+}
+/// Get the virtual type id if given a type name.
+std::string typeIdType( std::string const & exception_name ) {
+        return exception_name.empty() ? std::string()
+                : Virtual::typeIdType( exception_name );
+}
+/// Get the vtable type name if given a type name.
+std::string vtableTypeName( std::string const & exception_name ) {
+        return exception_name.empty() ? std::string()
+                : Virtual::vtableTypeName( exception_name );
+}
+static ast::Type * mutate_under_references( ast::ptr<ast::Type>& type ) {
+        ast::Type * mutType = type.get_and_mutate();
+        for ( ast::ReferenceType * mutRef
+                ; (mutRef = dynamic_cast<ast::ReferenceType *>( mutType ))
+                ; mutType = mutRef->base.get_and_mutate() );
+        return mutType;
+}
+// Describe that it adds the generic parameters and the uses of the generic
+// parameters on the function and first "this" argument.
+ast::FunctionDecl * fixupGenerics(
+                const ast::FunctionDecl * func, const ast::StructDecl * decl ) {
+        const CodeLocation & location = decl->location;
+        // We have to update both the declaration
+        auto mutFunc = ast::mutate( func );
+        auto mutType = mutFunc->type.get_and_mutate();
+        if ( decl->params.empty() ) {
+                return mutFunc;
+        }
+        assert( 0 != mutFunc->params.size() );
+        assert( 0 != mutType->params.size() );
+        // Add the "forall" clause information.
+        for ( const ast::ptr<ast::TypeDecl> & typeParam : decl->params ) {
+                auto typeDecl = ast::deepCopy( typeParam );
+                mutFunc->type_params.push_back( typeDecl );
+                mutType->forall.push_back(
+                        new ast::TypeInstType( typeDecl->name, typeDecl ) );
+                for ( auto & assertion : typeDecl->assertions ) {
+                        mutFunc->assertions.push_back( assertion );
+                        mutType->assertions.emplace_back(
+                                new ast::VariableExpr( location, assertion ) );
+                }
+                typeDecl->assertions.clear();
+        }
+        // Even chain_mutate is not powerful enough for this:
+        ast::ptr<ast::Type>& paramType = strict_dynamic_cast<ast::ObjectDecl *>(
+                mutFunc->params[0].get_and_mutate() )->type;
+        auto paramTypeInst = strict_dynamic_cast<ast::StructInstType *>(
+                mutate_under_references( paramType ) );
+        auto typeParamInst = strict_dynamic_cast<ast::StructInstType *>(
+                mutate_under_references( mutType->params[0] ) );
+        for ( const ast::ptr<ast::TypeDecl> & typeDecl : mutFunc->type_params ) {
+                paramTypeInst->params.push_back(
+                        new ast::TypeExpr( location,
+                                new ast::TypeInstType( typeDecl->name, typeDecl ) ) );
+                typeParamInst->params.push_back(
+                        new ast::TypeExpr( location,
+                                new ast::TypeInstType( typeDecl->name, typeDecl ) ) );
+        }
+        return mutFunc;
+}
 // --------------------------------------------------------------------------
+struct MutexKeyword final {
+struct ConcurrentSueKeyword : public ast::WithDeclsToAdd<> {
+        ConcurrentSueKeyword(
+                std::string&& type_name, std::string&& field_name,
+                std::string&& getter_name, std::string&& context_error,
+                std::string&& exception_name,
+                bool needs_main, ast::AggregateDecl::Aggregate cast_target
+        ) :
+                type_name( type_name ), field_name( field_name ),
+                getter_name( getter_name ), context_error( context_error ),
+                exception_name( exception_name ),
+                typeid_name( typeIdType( exception_name ) ),
+                vtable_name( vtableTypeName( exception_name ) ),
+                needs_main( needs_main ), cast_target( cast_target )
+        {}
+        virtual ~ConcurrentSueKeyword() {}
+        const ast::Decl * postvisit( const ast::StructDecl * decl );
+        const ast::DeclWithType * postvisit( const ast::FunctionDecl * decl );
+        const ast::Expr * postvisit( const ast::KeywordCastExpr * expr );
+        struct StructAndField {
+                const ast::StructDecl * decl;
+                const ast::ObjectDecl * field;
+        };
+        const ast::StructDecl * handleStruct( const ast::StructDecl * );
+        void handleMain( const ast::FunctionDecl *, const ast::StructInstType * );
+        void addTypeId( const ast::StructDecl * );
+        void addVtableForward( const ast::StructDecl * );
+        const ast::FunctionDecl * forwardDeclare( const ast::StructDecl * );
+        StructAndField addField( const ast::StructDecl * );
+        void addGetRoutines( const ast::ObjectDecl *, const ast::FunctionDecl * );
+        void addLockUnlockRoutines( const ast::StructDecl * );
+private:
+        const std::string type_name;
+        const std::string field_name;
+        const std::string getter_name;
+        const std::string context_error;
+        const std::string exception_name;
+        const std::string typeid_name;
+        const std::string vtable_name;
+        const bool needs_main;
+        const ast::AggregateDecl::Aggregate cast_target;
+        const ast::StructDecl   * type_decl = nullptr;
+        const ast::FunctionDecl * dtor_decl = nullptr;
+        const ast::StructDecl * except_decl = nullptr;
+        const ast::StructDecl * typeid_decl = nullptr;
+        const ast::StructDecl * vtable_decl = nullptr;
+};
+// Handles thread type declarations:
+//
+// thread Mythread {                         struct MyThread {
+//  int data;                                  int data;
+//  a_struct_t more_data;                      a_struct_t more_data;
+//                                =>             thread$ __thrd_d;
+// };                                        };
+//                                           static inline thread$ * get_thread( MyThread * this ) { return &this->__thrd_d; }
+//
+struct ThreadKeyword final : public ConcurrentSueKeyword {
+        ThreadKeyword() : ConcurrentSueKeyword(
+                "thread$",
+                "__thrd",
+                "get_thread",
+                "thread keyword requires threads to be in scope, add #include <thread.hfa>\n",
+                "ThreadCancelled",
+                true,
+                ast::AggregateDecl::Thread )
+        {}
+        virtual ~ThreadKeyword() {}
+};
+// Handles coroutine type declarations:
+//
+// coroutine MyCoroutine {                   struct MyCoroutine {
+//  int data;                                  int data;
+//  a_struct_t more_data;                      a_struct_t more_data;
+//                                =>             coroutine$ __cor_d;
+// };                                        };
+//                                           static inline coroutine$ * get_coroutine( MyCoroutine * this ) { return &this->__cor_d; }
+//
+struct CoroutineKeyword final : public ConcurrentSueKeyword {
+        CoroutineKeyword() : ConcurrentSueKeyword(
+                "coroutine$",
+                "__cor",
+                "get_coroutine",
+                "coroutine keyword requires coroutines to be in scope, add #include <coroutine.hfa>\n",
+                "CoroutineCancelled",
+                true,
+                ast::AggregateDecl::Coroutine )
+        {}
+        virtual ~CoroutineKeyword() {}
+};
+// Handles monitor type declarations:
+//
+// monitor MyMonitor {                       struct MyMonitor {
+//  int data;                                  int data;
+//  a_struct_t more_data;                      a_struct_t more_data;
+//                                =>             monitor$ __mon_d;
+// };                                        };
+//                                           static inline monitor$ * get_coroutine( MyMonitor * this ) {
+//                                               return &this->__cor_d;
+//                                           }
+//                                           void lock(MyMonitor & this) {
+//                                               lock(get_monitor(this));
+//                                           }
+//                                           void unlock(MyMonitor & this) {
+//                                               unlock(get_monitor(this));
+//                                           }
+//
+struct MonitorKeyword final : public ConcurrentSueKeyword {
+        MonitorKeyword() : ConcurrentSueKeyword(
+                "monitor$",
+                "__mon",
+                "get_monitor",
+                "monitor keyword requires monitors to be in scope, add #include <monitor.hfa>\n",
+                "",
+                false,
+                ast::AggregateDecl::Monitor )
+        {}
+        virtual ~MonitorKeyword() {}
+};
+// Handles generator type declarations:
+//
+// generator MyGenerator {                   struct MyGenerator {
+//  int data;                                  int data;
+//  a_struct_t more_data;                      a_struct_t more_data;
+//                                =>             int __generator_state;
+// };                                        };
+//
+struct GeneratorKeyword final : public ConcurrentSueKeyword {
+        GeneratorKeyword() : ConcurrentSueKeyword(
+                "generator$",
+                "__generator_state",
+                "get_generator",
+                "Unable to find builtin type generator$\n",
+                "",
+                true,
+                ast::AggregateDecl::Generator )
+        {}
+        virtual ~GeneratorKeyword() {}
+};
+const ast::Decl * ConcurrentSueKeyword::postvisit(
+                const ast::StructDecl * decl ) {
+        if ( !decl->body ) {
+                return decl;
+        } else if ( cast_target == decl->kind ) {
+                return handleStruct( decl );
+        } else if ( type_name == decl->name ) {
+                assert( !type_decl );
+                type_decl = decl;
+        } else if ( exception_name == decl->name ) {
+                assert( !except_decl );
+                except_decl = decl;
+        } else if ( typeid_name == decl->name ) {
+                assert( !typeid_decl );
+                typeid_decl = decl;
+        } else if ( vtable_name == decl->name ) {
+                assert( !vtable_decl );
+                vtable_decl = decl;
+        }
+        return decl;
+}
+// Try to get the full definition, but raise an error on conflicts.
+const ast::FunctionDecl * getDefinition(
+                const ast::FunctionDecl * old_decl,
+                const ast::FunctionDecl * new_decl ) {
+        if ( !new_decl->stmts ) {
+                return old_decl;
+        } else if ( !old_decl->stmts ) {
+                return new_decl;
+        } else {
+                assert( !old_decl->stmts || !new_decl->stmts );
+                return nullptr;
+        }
+}
+const ast::DeclWithType * ConcurrentSueKeyword::postvisit(
+                const ast::FunctionDecl * decl ) {
+        if ( type_decl && isDestructorFor( decl, type_decl ) ) {
+                // Check for forward declarations, try to get the full definition.
+                dtor_decl = (dtor_decl) ? getDefinition( dtor_decl, decl ) : decl;
+        } else if ( !vtable_name.empty() && decl->has_body() ) {
+                if (const ast::DeclWithType * param = isMainFor( decl, cast_target )) {
+                        if ( !vtable_decl ) {
+                                SemanticError( decl, context_error );
+                        }
+                        // Should be safe because of isMainFor.
+                        const ast::StructInstType * struct_type =
+                                static_cast<const ast::StructInstType *>(
+                                        static_cast<const ast::ReferenceType *>(
+                                                param->get_type() )->base.get() );
+                        handleMain( decl, struct_type );
+                }
+        }
+        return decl;
+}
+const ast::Expr * ConcurrentSueKeyword::postvisit(
+                const ast::KeywordCastExpr * expr ) {
+        if ( cast_target == expr->target ) {
+                // Convert `(thread &)ex` to `(thread$ &)*get_thread(ex)`, etc.
+                if ( !type_decl || !dtor_decl ) {
+                        SemanticError( expr, context_error );
+                }
+                assert( nullptr == expr->result );
+                auto cast = ast::mutate( expr );
+                cast->result = new ast::ReferenceType( new ast::StructInstType( type_decl ) );
+                cast->concrete_target.field  = field_name;
+                cast->concrete_target.getter = getter_name;
+                return cast;
+        }
+        return expr;
+}
+const ast::StructDecl * ConcurrentSueKeyword::handleStruct(
+                const ast::StructDecl * decl ) {
+        assert( decl->body );
+        if ( !type_decl || !dtor_decl ) {
+                SemanticError( decl, context_error );
+        }
+        if ( !exception_name.empty() ) {
+                if( !typeid_decl || !vtable_decl ) {
+                        SemanticError( decl, context_error );
+                }
+                addTypeId( decl );
+                addVtableForward( decl );
+        }
+        const ast::FunctionDecl * func = forwardDeclare( decl );
+        StructAndField addFieldRet = addField( decl );
+        decl = addFieldRet.decl;
+        const ast::ObjectDecl * field = addFieldRet.field;
+        addGetRoutines( field, func );
+        // Add routines to monitors for use by mutex stmt.
+        if ( ast::AggregateDecl::Monitor == cast_target ) {
+                addLockUnlockRoutines( decl );
+        }
+        return decl;
+}
+void ConcurrentSueKeyword::handleMain(
+                const ast::FunctionDecl * decl, const ast::StructInstType * type ) {
+        assert( vtable_decl );
+        assert( except_decl );
+        const CodeLocation & location = decl->location;
+        std::vector<ast::ptr<ast::Expr>> poly_args = {
+                new ast::TypeExpr( location, type ),
+        };
+        ast::ObjectDecl * vtable_object = Virtual::makeVtableInstance(
+                location,
+                "_default_vtable_object_declaration",
+                new ast::StructInstType( vtable_decl, copy( poly_args ) ),
+                type,
+                nullptr
+        );
+        declsToAddAfter.push_back( vtable_object );
+        declsToAddAfter.push_back(
+                new ast::ObjectDecl(
+                        location,
+                        Virtual::concurrentDefaultVTableName(),
+                        new ast::ReferenceType( vtable_object->type, ast::CV::Const ),
+                        new ast::SingleInit( location,
+                                new ast::VariableExpr( location, vtable_object ) ),
+                        ast::Storage::Classes(),
+                        ast::Linkage::Cforall
+                )
+        );
+        declsToAddAfter.push_back( Virtual::makeGetExceptionFunction(
+                location,
+                vtable_object,
+                new ast::StructInstType( except_decl, copy( poly_args ) )
+        ) );
+}
+void ConcurrentSueKeyword::addTypeId( const ast::StructDecl * decl ) {
+        assert( typeid_decl );
+        const CodeLocation & location = decl->location;
+        ast::StructInstType * typeid_type =
+                new ast::StructInstType( typeid_decl, ast::CV::Const );
+        typeid_type->params.push_back(
+                new ast::TypeExpr( location, new ast::StructInstType( decl ) ) );
+        declsToAddBefore.push_back(
+                Virtual::makeTypeIdInstance( location, typeid_type ) );
+        // If the typeid_type is going to be kept, the other reference will have
+        // been made by now, but we also get to avoid extra mutates.
+        ast::ptr<ast::StructInstType> typeid_cleanup = typeid_type;
+}
+void ConcurrentSueKeyword::addVtableForward( const ast::StructDecl * decl ) {
+        assert( vtable_decl );
+        const CodeLocation& location = decl->location;
+        std::vector<ast::ptr<ast::Expr>> poly_args = {
+                new ast::TypeExpr( location, new ast::StructInstType( decl ) ),
+        };
+        declsToAddBefore.push_back( Virtual::makeGetExceptionForward(
+                location,
+                new ast::StructInstType( vtable_decl, copy( poly_args ) ),
+                new ast::StructInstType( except_decl, copy( poly_args ) )
+        ) );
+        ast::ObjectDecl * vtable_object = Virtual::makeVtableForward(
+                location,
+                "_default_vtable_object_declaration",
+                new ast::StructInstType( vtable_decl, std::move( poly_args ) )
+        );
+        declsToAddBefore.push_back( vtable_object );
+        declsToAddBefore.push_back(
+                new ast::ObjectDecl(
+                        location,
+                        Virtual::concurrentDefaultVTableName(),
+                        new ast::ReferenceType( vtable_object->type, ast::CV::Const ),
+                        nullptr,
+                        ast::Storage::Extern,
+                        ast::Linkage::Cforall
+                )
+        );
+}
+const ast::FunctionDecl * ConcurrentSueKeyword::forwardDeclare(
+                const ast::StructDecl * decl ) {
+        const CodeLocation & location = decl->location;
+        ast::StructDecl * forward = ast::deepCopy( decl );
+        {
+                // If removing members makes ref-count go to zero, do not free.
+                ast::ptr<ast::StructDecl> forward_ptr = forward;
+                forward->body = false;
+                forward->members.clear();
+                forward_ptr.release();
+        }
+        ast::ObjectDecl * this_decl = new ast::ObjectDecl(
+                location,
+                "this",
+                new ast::ReferenceType( new ast::StructInstType( decl ) ),
+                nullptr,
+                ast::Storage::Classes(),
+                ast::Linkage::Cforall
+        );
+        ast::ObjectDecl * ret_decl = new ast::ObjectDecl(
+                location,
+                "ret",
+                new ast::PointerType( new ast::StructInstType( type_decl ) ),
+                nullptr,
+                ast::Storage::Classes(),
+                ast::Linkage::Cforall
+        );
+        ast::FunctionDecl * get_decl = new ast::FunctionDecl(
+                location,
+                getter_name,
+                {}, // forall
+                { this_decl }, // params
+                { ret_decl }, // returns
+                nullptr, // stmts
+                ast::Storage::Static,
+                ast::Linkage::Cforall,
+                { new ast::Attribute( "const" ) },
+                ast::Function::Inline
+        );
+        get_decl = fixupGenerics( get_decl, decl );
+        ast::FunctionDecl * main_decl = nullptr;
+        if ( needs_main ) {
+                // `this_decl` is copied here because the original was used above.
+                main_decl = new ast::FunctionDecl(
+                        location,
+                        "main",
+                        {},
+                        { ast::deepCopy( this_decl ) },
+                        {},
+                        nullptr,
+                        ast::Storage::Classes(),
+                        ast::Linkage::Cforall
+                );
+                main_decl = fixupGenerics( main_decl, decl );
+        }
+        declsToAddBefore.push_back( forward );
+        if ( needs_main ) declsToAddBefore.push_back( main_decl );
+        declsToAddBefore.push_back( get_decl );
+        return get_decl;
+}
+ConcurrentSueKeyword::StructAndField ConcurrentSueKeyword::addField(
+                const ast::StructDecl * decl ) {
+        const CodeLocation & location = decl->location;
+        ast::ObjectDecl * field = new ast::ObjectDecl(
+                location,
+                field_name,
+                new ast::StructInstType( type_decl ),
+                nullptr,
+                ast::Storage::Classes(),
+                ast::Linkage::Cforall
+        );
+        auto mutDecl = ast::mutate( decl );
+        mutDecl->members.push_back( field );
+        return {mutDecl, field};
+}
+void ConcurrentSueKeyword::addGetRoutines(
+                const ast::ObjectDecl * field, const ast::FunctionDecl * forward ) {
+        // Say it is generated at the "same" places as the forward declaration.
+        const CodeLocation & location = forward->location;
+        const ast::DeclWithType * param = forward->params.front();
+        ast::Stmt * stmt = new ast::ReturnStmt( location,
+                new ast::AddressExpr( location,
+                        new ast::MemberExpr( location,
+                                field,
+                                new ast::CastExpr( location,
+                                        new ast::VariableExpr( location, param ),
+                                        ast::deepCopy( param->get_type()->stripReferences() ),
+                                        ast::ExplicitCast
+                                )
+                        )
+                )
+        );
+        ast::FunctionDecl * decl = ast::deepCopy( forward );
+        decl->stmts = new ast::CompoundStmt( location, { stmt } );
+        declsToAddAfter.push_back( decl );
+}
+void ConcurrentSueKeyword::addLockUnlockRoutines(
+                const ast::StructDecl * decl ) {
+        // This should only be used on monitors.
+        assert( ast::AggregateDecl::Monitor == cast_target );
+        const CodeLocation & location = decl->location;
+        // The parameter for both routines.
+        ast::ObjectDecl * this_decl = new ast::ObjectDecl(
+                location,
+                "this",
+                new ast::ReferenceType( new ast::StructInstType( decl ) ),
+                nullptr,
+                ast::Storage::Classes(),
+                ast::Linkage::Cforall
+        );
+        ast::FunctionDecl * lock_decl = new ast::FunctionDecl(
+                location,
+                "lock",
+                { /* forall */ },
+                {
+                        // Copy the declaration of this.
+                        ast::deepCopy( this_decl ),
+                },
+                { /* returns */ },
+                nullptr,
+                ast::Storage::Static,
+                ast::Linkage::Cforall,
+                { /* attributes */ },
+                ast::Function::Inline
+        );
+        lock_decl = fixupGenerics( lock_decl, decl );
+        lock_decl->stmts = new ast::CompoundStmt( location, {
+                new ast::ExprStmt( location,
+                        new ast::UntypedExpr( location,
+                                new ast::NameExpr( location, "lock" ),
+                                {
+                                        new ast::UntypedExpr( location,
+                                                new ast::NameExpr( location, "get_monitor" ),
+                                                { new ast::VariableExpr( location,
+                                                        InitTweak::getParamThis( lock_decl ) ) }
+                                        )
+                                }
+                        )
+                )
+        } );
+        ast::FunctionDecl * unlock_decl = new ast::FunctionDecl(
+                location,
+                "unlock",
+                { /* forall */ },
+                {
+                        // Last use, consume the declaration of this.
+                        this_decl,
+                },
+                { /* returns */ },
+                nullptr,
+                ast::Storage::Static,
+                ast::Linkage::Cforall,
+                { /* attributes */ },
+                ast::Function::Inline
+        );
+        unlock_decl = fixupGenerics( unlock_decl, decl );
+        unlock_decl->stmts = new ast::CompoundStmt( location, {
+                new ast::ExprStmt( location,
+                        new ast::UntypedExpr( location,
+                                new ast::NameExpr( location, "unlock" ),
+                                {
+                                        new ast::UntypedExpr( location,
+                                                new ast::NameExpr( location, "get_monitor" ),
+                                                { new ast::VariableExpr( location,
+                                                        InitTweak::getParamThis( unlock_decl ) ) }
+                                        )
+                                }
+                        )
+                )
+        } );
+        declsToAddAfter.push_back( lock_decl );
+        declsToAddAfter.push_back( unlock_decl );
+}
+// --------------------------------------------------------------------------
+struct SuspendKeyword final :
+                public ast::WithStmtsToAdd<>, public ast::WithGuards {
+        SuspendKeyword() = default;
+        virtual ~SuspendKeyword() = default;
+        void previsit( const ast::FunctionDecl * );
+        const ast::DeclWithType * postvisit( const ast::FunctionDecl * );
+        const ast::Stmt * postvisit( const ast::SuspendStmt * );
+private:
+        bool is_real_suspend( const ast::FunctionDecl * );
+        const ast::Stmt * make_generator_suspend( const ast::SuspendStmt * );
+        const ast::Stmt * make_coroutine_suspend( const ast::SuspendStmt * );
+        struct LabelPair {
+                ast::Label obj;
+                int idx;
+        };
+        LabelPair make_label(const ast::Stmt * stmt ) {
+                labels.push_back( ControlStruct::newLabel( "generator", stmt ) );
+                return { labels.back(), int(labels.size()) };
+        }
+        const ast::DeclWithType * in_generator = nullptr;
+        const ast::FunctionDecl * decl_suspend = nullptr;
+        std::vector<ast::Label> labels;
+};
+void SuspendKeyword::previsit( const ast::FunctionDecl * decl ) {
+        GuardValue( in_generator ); in_generator = nullptr;
+        // If it is the real suspend, grab it if we don't have one already.
+        if ( is_real_suspend( decl ) ) {
+                decl_suspend = decl_suspend ? decl_suspend : decl;
+                return;
+        }
+        // Otherwise check if this is a generator main and, if so, handle it.
+        auto param = isMainFor( decl, ast::AggregateDecl::Generator );
+        if ( !param ) return;
+        if ( 0 != decl->returns.size() ) {
+                SemanticError( decl->location, "Generator main must return void" );
+        }
+        in_generator = param;
+        GuardValue( labels ); labels.clear();
+}
+const ast::DeclWithType * SuspendKeyword::postvisit(
+                const ast::FunctionDecl * decl ) {
+        // Only modify a full definition of a generator with states.
+        if ( !decl->stmts || !in_generator || labels.empty() ) return decl;
+        const CodeLocation & location = decl->location;
+        // Create a new function body:
+        // static void * __generator_labels[] = {&&s0, &&s1, ...};
+        // void * __generator_label = __generator_labels[GEN.__generator_state];
+        // goto * __generator_label;
+        // s0: ;
+        // OLD_BODY
+        // This is the null statement inserted right before the body.
+        ast::NullStmt * noop = new ast::NullStmt( location );
+        noop->labels.push_back( ControlStruct::newLabel( "generator", noop ) );
+        const ast::Label & first_label = noop->labels.back();
+        // Add each label to the init, starting with the first label.
+        std::vector<ast::ptr<ast::Init>> inits = {
+                new ast::SingleInit( location,
+                        new ast::LabelAddressExpr( location, copy( first_label ) ) ) };
+        // Then go through all the stored labels, and clear the store.
+        for ( auto && label : labels ) {
+                inits.push_back( new ast::SingleInit( label.location,
+                        new ast::LabelAddressExpr( label.location, std::move( label )
+                        ) ) );
+        }
+        labels.clear();
+        // Then construct the initializer itself.
+        auto init = new ast::ListInit( location, std::move( inits ) );
+        ast::ObjectDecl * generatorLabels = new ast::ObjectDecl(
+                location,
+                "__generator_labels",
+                new ast::ArrayType(
+                        new ast::PointerType( new ast::VoidType() ),
+                        nullptr,
+                        ast::FixedLen,
+                        ast::DynamicDim
+                ),
+                init,
+                ast::Storage::Classes(),
+                ast::Linkage::AutoGen
+        );
+        ast::ObjectDecl * generatorLabel = new ast::ObjectDecl(
+                location,
+                "__generator_label",
+                new ast::PointerType( new ast::VoidType() ),
+                new ast::SingleInit( location,
+                        new ast::UntypedExpr( location,
+                                new ast::NameExpr( location, "?[?]" ),
+                                {
+                                        // TODO: Could be a variable expr.
+                                        new ast::NameExpr( location, "__generator_labels" ),
+                                        new ast::UntypedMemberExpr( location,
+                                                new ast::NameExpr( location, "__generator_state" ),
+                                                new ast::VariableExpr( location, in_generator )
+                                        )
+                                }
+                        )
+                ),
+                ast::Storage::Classes(),
+                ast::Linkage::AutoGen
+        );
+        ast::BranchStmt * theGoTo = new ast::BranchStmt(
+                location, new ast::VariableExpr( location, generatorLabel )
+        );
+        // The noop goes here in order.
+        ast::CompoundStmt * body = new ast::CompoundStmt( location, {
+                { new ast::DeclStmt( location, generatorLabels ) },
+                { new ast::DeclStmt( location, generatorLabel ) },
+                { theGoTo },
+                { noop },
+                { decl->stmts },
+        } );
+        auto mutDecl = ast::mutate( decl );
+        mutDecl->stmts = body;
+        return mutDecl;
+}
+const ast::Stmt * SuspendKeyword::postvisit( const ast::SuspendStmt * stmt ) {
+        switch ( stmt->type ) {
+        case ast::SuspendStmt::None:
+                // Use the context to determain the implicit target.
+                if ( in_generator ) {
+                        return make_generator_suspend( stmt );
+                } else {
+                        return make_coroutine_suspend( stmt );
+                }
+        case ast::SuspendStmt::Coroutine:
+                return make_coroutine_suspend( stmt );
+        case ast::SuspendStmt::Generator:
+                // Generator suspends must be directly in a generator.
+                if ( !in_generator ) SemanticError( stmt->location, "'suspend generator' must be used inside main of generator type." );
+                return make_generator_suspend( stmt );
+        }
+        assert( false );
+        return stmt;
+}
+/// Find the real/official suspend declaration.
+bool SuspendKeyword::is_real_suspend( const ast::FunctionDecl * decl ) {
+        return ( !decl->linkage.is_mangled
+                && 0 == decl->params.size()
+                && 0 == decl->returns.size()
+                && "__cfactx_suspend" == decl->name );
+}
+const ast::Stmt * SuspendKeyword::make_generator_suspend(
+                const ast::SuspendStmt * stmt ) {
+        assert( in_generator );
+        // Target code is:
+        //   GEN.__generator_state = X;
+        //   THEN
+        //   return;
+        //   __gen_X:;
+        const CodeLocation & location = stmt->location;
+        LabelPair label = make_label( stmt );
+        // This is the context saving statement.
+        stmtsToAddBefore.push_back( new ast::ExprStmt( location,
+                new ast::UntypedExpr( location,
+                        new ast::NameExpr( location, "?=?" ),
+                        {
+                                new ast::UntypedMemberExpr( location,
+                                        new ast::NameExpr( location, "__generator_state" ),
+                                        new ast::VariableExpr( location, in_generator )
+                                ),
+                                ast::ConstantExpr::from_int( location, label.idx ),
+                        }
+                )
+        ) );
+        // The THEN component is conditional (return is not).
+        if ( stmt->then ) {
+                stmtsToAddBefore.push_back( stmt->then.get() );
+        }
+        stmtsToAddBefore.push_back( new ast::ReturnStmt( location, nullptr ) );
+        // The null statement replaces the old suspend statement.
+        return new ast::NullStmt( location, { label.obj } );
+}
+const ast::Stmt * SuspendKeyword::make_coroutine_suspend(
+                const ast::SuspendStmt * stmt ) {
+        // The only thing we need from the old statement is the location.
+        const CodeLocation & location = stmt->location;
+        if ( !decl_suspend ) {
+                SemanticError( location, "suspend keyword applied to coroutines requires coroutines to be in scope, add #include <coroutine.hfa>\n" );
+        }
+        if ( stmt->then ) {
+                SemanticError( location, "Compound statement following coroutines is not implemented." );
+        }
+        return new ast::ExprStmt( location,
+                new ast::UntypedExpr( location,
+                        ast::VariableExpr::functionPointer( location, decl_suspend ) )
+        );
+}
+// --------------------------------------------------------------------------
+struct MutexKeyword final : public ast::WithDeclsToAdd<> {
         const ast::FunctionDecl * postvisit( const ast::FunctionDecl * decl );
         void postvisit( const ast::StructDecl * decl );
 …
         ast::CompoundStmt * addStatements( const ast::CompoundStmt * body, const std::vector<ast::ptr<ast::Expr>> & args );
         ast::CompoundStmt * addThreadDtorStatements( const ast::FunctionDecl* func, const ast::CompoundStmt * body, const std::vector<const ast::DeclWithType *> & args );
+        ast::ExprStmt * genVirtLockUnlockExpr( const std::string & fnName, ast::ptr<ast::Expr> expr, const CodeLocation & location, ast::Expr * param);
+        ast::IfStmt * genTypeDiscrimLockUnlock( const std::string & fnName, const std::vector<ast::ptr<ast::Expr>> & args, const CodeLocation & location, ast::UntypedExpr * thisParam );
 private:
         const ast::StructDecl * monitor_decl = nullptr;
 …
         static ast::ptr<ast::Type> generic_func;
+        UniqueName mutex_func_namer = UniqueName("__lock_unlock_curr");
 };
 …
 const ast::Stmt * MutexKeyword::postvisit( const ast::MutexStmt * stmt ) {
+        if ( !lock_guard_decl ) {
+                SemanticError( stmt->location, "mutex stmt requires a header, add #include <mutex_stmt.hfa>\n" );
+        }
         ast::CompoundStmt * body =
                         new ast::CompoundStmt( stmt->location, { stmt->stmt } );
         addStatements( body, stmt->mutexObjs );
         return body;
+        return addStatements( body, stmt->mutexObjs );;
+}
 …
+                                {
                                         new ast::SingleInit( location,
                                                 new ast::AddressExpr(
+                                                new ast::AddressExpr( location,
                                                         new ast::VariableExpr( location, monitor ) ) ),
                                         new ast::SingleInit( location,
 …
+}
+// generates a cast to the void ptr to the appropriate lock type and dereferences it before calling lock or unlock on it
+// used to undo the type erasure done by storing all the lock pointers as void
+ast::ExprStmt * MutexKeyword::genVirtLockUnlockExpr( const std::string & fnName, ast::ptr<ast::Expr> expr, const CodeLocation & location, ast::Expr * param ) {
+        return new ast::ExprStmt( location,
+                new ast::UntypedExpr( location,
+                        new ast::NameExpr( location, fnName ), {
+                                ast::UntypedExpr::createDeref(
+                                        location,
+                                        new ast::CastExpr( location,
+                                                param,
+                                                new ast::PointerType( new ast::TypeofType( new ast::UntypedExpr(
+                                                        expr->location,
+                                                        new ast::NameExpr( expr->location, "__get_mutexstmt_lock_type" ),
+                                                        { expr }
+                                                ) ) ),
+                                                ast::GeneratedFlag::ExplicitCast
+                                        )
+                                )
+                        }
+                )
+        );
+}
+ast::IfStmt * MutexKeyword::genTypeDiscrimLockUnlock( const std::string & fnName, const std::vector<ast::ptr<ast::Expr>> & args, const CodeLocation & location, ast::UntypedExpr * thisParam ) {
+        ast::IfStmt * outerLockIf = nullptr;
+        ast::IfStmt * lastLockIf = nullptr;
+        //adds an if/elif clause for each lock to assign type from void ptr based on ptr address
+        for ( long unsigned int i = 0; i < args.size(); i++ ) {
+                ast::UntypedExpr * ifCond = new ast::UntypedExpr( location,
+                        new ast::NameExpr( location, "?==?" ), {
+                                ast::deepCopy( thisParam ),
+                                new ast::CastExpr( location, new ast::AddressExpr( location, args.at(i) ), new ast::PointerType( new ast::VoidType() ))
+                        }
+                );
+                ast::IfStmt * currLockIf = new ast::IfStmt(
+                        location,
+                        ifCond,
+                        genVirtLockUnlockExpr( fnName, args.at(i), location, ast::deepCopy( thisParam ) )
+                );
+                if ( i == 0 ) {
+                        outerLockIf = currLockIf;
+                } else {
+                        // add ifstmt to else of previous stmt
+                        lastLockIf->else_ = currLockIf;
+                }
+                lastLockIf = currLockIf;
+        }
+        return outerLockIf;
+}
 ast::CompoundStmt * MutexKeyword::addStatements(
                 const ast::CompoundStmt * body,
                 const std::vector<ast::ptr<ast::Expr>> & args ) {
-        ast::CompoundStmt * mutBody = ast::mutate( body );
         // Code is generated near the beginning of the compound statement.
+        const CodeLocation & location = mutBody->location;
+        const CodeLocation & location = body->location;
+                // final body to return
+        ast::CompoundStmt * newBody = new ast::CompoundStmt( location );
+        // std::string lockFnName = mutex_func_namer.newName();
+        // std::string unlockFnName = mutex_func_namer.newName();
         // Make pointer to the monitors.
 …
                 new ast::ArrayType(
                         new ast::PointerType(
+                                new ast::TypeofType(
+                                        new ast::UntypedExpr(
+                                                location,
+                                                new ast::NameExpr( location, "__get_type" ),
+                                                { args.front() }
+                                        )
+                                )
+                                new ast::VoidType()
                         ),
                         ast::ConstantExpr::from_ulong( location, args.size() ),
 …
                                                 new ast::UntypedExpr(
                                                         expr->location,
                                                         new ast::NameExpr( expr->location, "__get_ptr" ),
+                                                        new ast::NameExpr( expr->location, "__get_mutexstmt_lock_ptr" ),
                                                         { expr }
+                                                )
 …
         ast::StructInstType * lock_guard_struct =
                         new ast::StructInstType( lock_guard_decl );
+        ast::TypeExpr * lock_type_expr = new ast::TypeExpr(
+                location,
+                new ast::TypeofType(
+                        new ast::UntypedExpr(
+                                location,
+                                new ast::NameExpr( location, "__get_type" ),
+                                { args.front() }
+                        )
+                )
+        );
+        lock_guard_struct->params.push_back( lock_type_expr );
+        // In reverse order:
+        // use try stmts to lock and finally to unlock
+        ast::TryStmt * outerTry = nullptr;
+        ast::TryStmt * currentTry;
+        ast::CompoundStmt * lastBody = nullptr;
+        // adds a nested try stmt for each lock we are locking
+        for ( long unsigned int i = 0; i < args.size(); i++ ) {
+                ast::UntypedExpr * innerAccess = new ast::UntypedExpr(
+                        location,
+                        new ast::NameExpr( location,"?[?]" ), {
+                                new ast::NameExpr( location, "__monitors" ),
+                                ast::ConstantExpr::from_int( location, i )
+                        }
+                );
+                // make the try body
+                ast::CompoundStmt * currTryBody = new ast::CompoundStmt( location );
+                ast::IfStmt * lockCall = genTypeDiscrimLockUnlock( "lock", args, location, innerAccess );
+                currTryBody->push_back( lockCall );
+                // make the finally stmt
+                ast::CompoundStmt * currFinallyBody = new ast::CompoundStmt( location );
+                ast::IfStmt * unlockCall = genTypeDiscrimLockUnlock( "unlock", args, location, innerAccess );
+                currFinallyBody->push_back( unlockCall );
+                // construct the current try
+                currentTry = new ast::TryStmt(
+                        location,
+                        currTryBody,
+                        {},
+                        new ast::FinallyStmt( location, currFinallyBody )
+                );
+                if ( i == 0 ) outerTry = currentTry;
+                else {
+                        // pushback try into the body of the outer try
+                        lastBody->push_back( currentTry );
+                }
+                lastBody = currTryBody;
+        }
+        // push body into innermost try body
+        if ( lastBody != nullptr ) {
+                lastBody->push_back( body );
+                newBody->push_front( outerTry );
+        }
         // monitor_guard_t __guard = { __monitors, # };
         mutBody->push_front(
+        newBody->push_front(
                 new ast::DeclStmt(
                         location,
 …
         // monitor$ * __monitors[] = { get_monitor(a), get_monitor(b) };
+        mutBody->push_front( new ast::DeclStmt( location, monitors ) );
+        return mutBody;
+        newBody->push_front( new ast::DeclStmt( location, monitors ) );
+        // // The parameter for both __lock_curr/__unlock_curr routines.
+        // ast::ObjectDecl * this_decl = new ast::ObjectDecl(
+        //      location,
+        //      "this",
+        //      new ast::PointerType( new ast::VoidType() ),
+        //      nullptr,
+        //      {},
+        //      ast::Linkage::Cforall
+        // );
+        // ast::FunctionDecl * lock_decl = new ast::FunctionDecl(
+        //      location,
+        //      lockFnName,
+        //      { /* forall */ },
+        //      {
+        //              // Copy the declaration of this.
+        //              this_decl,
+        //      },
+        //      { /* returns */ },
+        //      nullptr,
+        //      0,
+        //      ast::Linkage::Cforall,
+        //      { /* attributes */ },
+        //      ast::Function::Inline
+        // );
+        // ast::FunctionDecl * unlock_decl = new ast::FunctionDecl(
+        //      location,
+        //      unlockFnName,
+        //      { /* forall */ },
+        //      {
+        //              // Copy the declaration of this.
+        //              ast::deepCopy( this_decl ),
+        //      },
+        //      { /* returns */ },
+        //      nullptr,
+        //      0,
+        //      ast::Linkage::Cforall,
+        //      { /* attributes */ },
+        //      ast::Function::Inline
+        // );
+        // ast::IfStmt * outerLockIf = nullptr;
+        // ast::IfStmt * outerUnlockIf = nullptr;
+        // ast::IfStmt * lastLockIf = nullptr;
+        // ast::IfStmt * lastUnlockIf = nullptr;
+        // //adds an if/elif clause for each lock to assign type from void ptr based on ptr address
+        // for ( long unsigned int i = 0; i < args.size(); i++ ) {
+        //      ast::VariableExpr * thisParam = new ast::VariableExpr( location, InitTweak::getParamThis( lock_decl ) );
+        //      ast::UntypedExpr * ifCond = new ast::UntypedExpr( location,
+        //              new ast::NameExpr( location, "?==?" ), {
+        //                      thisParam,
+        //                      new ast::CastExpr( location, new ast::AddressExpr( location, args.at(i) ), new ast::PointerType( new ast::VoidType() ))
+        //              }
+        //      );
+        //      ast::IfStmt * currLockIf = new ast::IfStmt(
+        //              location,
+        //              ast::deepCopy( ifCond ),
+        //              genVirtLockUnlockExpr( "lock", args.at(i), location, ast::deepCopy( thisParam ) )
+        //      );
+        //      ast::IfStmt * currUnlockIf = new ast::IfStmt(
+        //              location,
+        //              ifCond,
+        //              genVirtLockUnlockExpr( "unlock", args.at(i), location, ast::deepCopy( thisParam ) )
+        //      );
+        //      if ( i == 0 ) {
+        //              outerLockIf = currLockIf;
+        //              outerUnlockIf = currUnlockIf;
+        //      } else {
+        //              // add ifstmt to else of previous stmt
+        //              lastLockIf->else_ = currLockIf;
+        //              lastUnlockIf->else_ = currUnlockIf;
+        //      }
+        //      lastLockIf = currLockIf;
+        //      lastUnlockIf = currUnlockIf;
+        // }
+        // // add pointer typing if/elifs to body of routines
+        // lock_decl->stmts = new ast::CompoundStmt( location, { outerLockIf } );
+        // unlock_decl->stmts = new ast::CompoundStmt( location, { outerUnlockIf } );
+        // // add routines to scope
+        // declsToAddBefore.push_back( lock_decl );
+        // declsToAddBefore.push_back( unlock_decl );
+        // newBody->push_front(new ast::DeclStmt( location, lock_decl ));
+        // newBody->push_front(new ast::DeclStmt( location, unlock_decl ));
+        return newBody;
+}
 …
 // --------------------------------------------------------------------------
+// Interface Functions:
 void implementKeywords( ast::TranslationUnit & translationUnit ) {
+        (void)translationUnit;
+        assertf(false, "Apply Keywords not implemented." );
+        ast::Pass<ThreadKeyword>::run( translationUnit );
+        ast::Pass<CoroutineKeyword>::run( translationUnit );
+        ast::Pass<MonitorKeyword>::run( translationUnit );
+        ast::Pass<GeneratorKeyword>::run( translationUnit );
+        ast::Pass<SuspendKeyword>::run( translationUnit );
+}

src/ControlStruct/ExceptTranslateNew.cpp

-              ref3c383
+              rd672350
 // Author           : Andrew Beach
 // Created On       : Mon Nov  8 11:53:00 2021
 // Last Modified By : Peter A. Buhr
 // Last Modified On : Mon Jan 31 18:49:58 2022
 // Update Count     : 1
+// Last Modified By : Andrew Beach
+// Last Modified On : Fri Mar 11 17:51:00 2022
+// Update Count     : 2
 //
 …
         typedef std::list<ast::CatchStmt*> CatchList;
-        void split( CatchList& allHandlers, CatchList& terHandlers,
-                                CatchList& resHandlers ) {
-                while ( !allHandlers.empty() ) {
-                        ast::CatchStmt * stmt = allHandlers.front();
-                        allHandlers.pop_front();
-                        if (stmt->kind == ast::ExceptionKind::Terminate) {
-                                terHandlers.push_back(stmt);
-                        } else {
-                                resHandlers.push_back(stmt);
+                        }
+                }
+        }
         void appendDeclStmt( ast::CompoundStmt * block, ast::DeclWithType * item ) {
 …
         ast::Stmt * create_resume_rethrow( const ast::ThrowStmt * throwStmt );
+        // Types used in translation, make sure to use clone.
+        // Types used in translation, first group are internal.
+        ast::ObjectDecl * make_index_object( CodeLocation const & ) const;
+        ast::ObjectDecl * make_exception_object( CodeLocation const & ) const;
+        ast::ObjectDecl * make_bool_object( CodeLocation const & ) const;
+        ast::ObjectDecl * make_voidptr_object( CodeLocation const & ) const;
+        ast::ObjectDecl * make_unused_index_object( CodeLocation const & ) const;
         // void (*function)();
         ast::FunctionDecl * try_func_t;
+        ast::FunctionDecl * make_try_function( CodeLocation const & ) const;
         // void (*function)(int, exception);
         ast::FunctionDecl * catch_func_t;
+        ast::FunctionDecl * make_catch_function( CodeLocation const & ) const;
         // int (*function)(exception);
         ast::FunctionDecl * match_func_t;
+        ast::FunctionDecl * make_match_function( CodeLocation const & ) const;
         // bool (*function)(exception);
         ast::FunctionDecl * handle_func_t;
+        ast::FunctionDecl * make_handle_function( CodeLocation const & ) const;
         // void (*function)(__attribute__((unused)) void *);
+        ast::FunctionDecl * finally_func_t;
+        ast::StructInstType * create_except_type() {
+                assert( except_decl );
+                return new ast::StructInstType( except_decl );
+        }
+        void init_func_types();
+        ast::FunctionDecl * make_finally_function( CodeLocation const & ) const;
 public:
 …
 };
+void TryMutatorCore::init_func_types() {
+ast::ObjectDecl * TryMutatorCore::make_index_object(
+                CodeLocation const & location ) const {
+        return new ast::ObjectDecl(
+                location,
+                "__handler_index",
+                new ast::BasicType(ast::BasicType::SignedInt),
+                nullptr, //init
+                ast::Storage::Classes{},
+                ast::Linkage::Cforall
+                );
+}
+ast::ObjectDecl * TryMutatorCore::make_exception_object(
+                CodeLocation const & location ) const {
         assert( except_decl );
+        ast::ObjectDecl index_obj(
+                {},
+                "__handler_index",
+                new ast::BasicType(ast::BasicType::SignedInt)
+                );
+        ast::ObjectDecl exception_obj(
+                {},
+        return new ast::ObjectDecl(
+                location,
                 "__exception_inst",
                 new ast::PointerType(
                         new ast::StructInstType( except_decl )
                         ),
+                NULL
+                );
+        ast::ObjectDecl bool_obj(
+                {},
+                nullptr, //init
+                ast::Storage::Classes{},
+                ast::Linkage::Cforall
+                );
+}
+ast::ObjectDecl * TryMutatorCore::make_bool_object(
+                CodeLocation const & location ) const {
+        return new ast::ObjectDecl(
+                location,
                 "__ret_bool",
                 new ast::BasicType( ast::BasicType::Bool ),
 …
                 std::vector<ast::ptr<ast::Attribute>>{ new ast::Attribute( "unused" ) }
                 );
+        ast::ObjectDecl voidptr_obj(
+                {},
+}
+ast::ObjectDecl * TryMutatorCore::make_voidptr_object(
+                CodeLocation const & location ) const {
+        return new ast::ObjectDecl(
+                location,
                 "__hook",
                 new ast::PointerType(
 …
                 std::vector<ast::ptr<ast::Attribute>>{ new ast::Attribute( "unused" ) }
                 );
+        ast::ObjectDecl unused_index_obj(
+                {},
+}
+ast::ObjectDecl * TryMutatorCore::make_unused_index_object(
+                CodeLocation const & location ) const {
+        return new ast::ObjectDecl(
+                location,
                 "__handler_index",
                 new ast::BasicType(ast::BasicType::SignedInt),
 …
                 std::vector<ast::ptr<ast::Attribute>>{ new ast::Attribute( "unused" ) }
         );
+        //unused_index_obj->attributes.push_back( new Attribute( "unused" ) );
+        try_func_t = new ast::FunctionDecl(
+                {},
+}
+ast::FunctionDecl * TryMutatorCore::make_try_function(
+                CodeLocation const & location ) const {
+        return new ast::FunctionDecl(
+                location,
                 "try",
                 {}, //forall
 …
                 ast::Linkage::Cforall
         );
+        catch_func_t = new ast::FunctionDecl(
+                {},
+}
+ast::FunctionDecl * TryMutatorCore::make_catch_function(
+                CodeLocation const & location ) const {
+        return new ast::FunctionDecl(
+                location,
                 "catch",
                 {}, //forall
                 {ast::deepCopy(&index_obj), ast::deepCopy(&exception_obj)},//param
+                { make_index_object( location ), make_exception_object( location ) },
                 {}, //return void
                 nullptr,
 …
                 ast::Linkage::Cforall
         );
+        match_func_t = new ast::FunctionDecl(
+                {},
+}
+ast::FunctionDecl * TryMutatorCore::make_match_function(
+                CodeLocation const & location ) const {
+        return new ast::FunctionDecl(
+                location,
                 "match",
                 {}, //forall
                 {ast::deepCopy(&exception_obj)},
                 {ast::deepCopy(&unused_index_obj)},
+                { make_exception_object( location ) },
+                { make_unused_index_object( location ) },
                 nullptr,
                 ast::Storage::Classes{},
                 ast::Linkage::Cforall
         );
+        handle_func_t = new ast::FunctionDecl(
+                {},
+}
+ast::FunctionDecl * TryMutatorCore::make_handle_function(
+                CodeLocation const & location ) const {
+        return new ast::FunctionDecl(
+                location,
                 "handle",
                 {}, //forall
                 {ast::deepCopy(&exception_obj)},
                 {ast::deepCopy(&bool_obj)},
+                { make_exception_object( location ) },
+                { make_bool_object( location ) },
                 nullptr,
                 ast::Storage::Classes{},
                 ast::Linkage::Cforall
         );
+        finally_func_t = new ast::FunctionDecl(
+                {},
+}
+ast::FunctionDecl * TryMutatorCore::make_finally_function(
+                CodeLocation const & location ) const {
+        return new ast::FunctionDecl(
+                location,
                 "finally",
                 {}, //forall
                 {ast::deepCopy(&voidptr_obj)},
+                { make_voidptr_object( location ) },
                 {}, //return void
                 nullptr,
 …
                 ast::Linkage::Cforall
         );
-        //catch_func_t.get_parameters().push_back( index_obj.clone() );
-        //catch_func_t.get_parameters().push_back( exception_obj.clone() );
-        //match_func_t.get_returnVals().push_back( unused_index_obj );
-        //match_func_t.get_parameters().push_back( exception_obj.clone() );
-        //handle_func_t.get_returnVals().push_back( bool_obj.clone() );
-        //handle_func_t.get_parameters().push_back( exception_obj.clone() );
-        //finally_func_t.get_parameters().push_back( voidptr_obj.clone() );
+}
 // TryStmt Mutation Helpers
-/*
-ast::CompoundStmt * TryMutatorCore::take_try_block( ast::TryStmt *tryStmt ) {
-        ast::CompoundStmt * block = tryStmt->body;
-        tryStmt->body = nullptr;
-        return block;
+}
-*/
 ast::FunctionDecl * TryMutatorCore::create_try_wrapper(
                 const ast::CompoundStmt *body ) {
         ast::FunctionDecl * ret = ast::deepCopy(try_func_t);
+        ast::FunctionDecl * ret = make_try_function( body->location );
         ret->stmts = body;
         return ret;
 …
         const CodeLocation loc = handlers.front()->location;
         ast::FunctionDecl * func_t = ast::deepCopy(catch_func_t);
+        ast::FunctionDecl * func_t = make_catch_function( loc );
         const ast::DeclWithType * index_obj = func_t->params.front();
         const ast::DeclWithType * except_obj = func_t->params.back();
 …
                 // handler->body = nullptr;
                 handler_wrappers.push_back( new ast::CaseStmt(loc,
+                handler_wrappers.push_back( new ast::CaseStmt(loc,
                         ast::ConstantExpr::from_int(loc, index) ,
                         { block, new ast::ReturnStmt( loc, nullptr ) }
 …
         // TODO: Some sort of meaningful error on default perhaps?
+        /*
+        std::list<Statement*> stmt_handlers;
+        while ( !handler_wrappers.empty() ) {
+                stmt_handlers.push_back( handler_wrappers.front() );
+                handler_wrappers.pop_front();
+        }
+        */
+        ast::SwitchStmt * handler_lookup = new ast::SwitchStmt(loc,
+        ast::SwitchStmt * handler_lookup = new ast::SwitchStmt( loc,
                 new ast::VariableExpr( loc, index_obj ),
                 std::move(handler_wrappers)
                 );
+        ast::CompoundStmt * body = new ast::CompoundStmt(loc,
+                {handler_lookup});
+        ast::CompoundStmt * body = new ast::CompoundStmt( loc, {handler_lookup} );
         func_t->stmts = body;
 …
         // Check for type match.
         ast::VirtualCastExpr * vcex = new ast::VirtualCastExpr(loc,
+        ast::VirtualCastExpr * vcex = new ast::VirtualCastExpr(loc,
                 new ast::VariableExpr(loc, except_obj ),
                 local_except->get_type()
 …
+        }
         // Construct the match condition.
         block->push_back( new ast::IfStmt(loc,
+        block->push_back( new ast::IfStmt(loc,
                 cond, modded_handler->body, nullptr ) );
-        // xxx - how does this work in new ast
-        //modded_handler->set_decl( nullptr );
-        //modded_handler->set_cond( nullptr );
-        //modded_handler->set_body( nullptr );
-        //delete modded_handler;
         return block;
+}
 …
         ast::CompoundStmt * body = new ast::CompoundStmt(loc);
         ast::FunctionDecl * func_t = ast::deepCopy(match_func_t);
+        ast::FunctionDecl * func_t = make_match_function( loc );
         const ast::DeclWithType * except_obj = func_t->params.back();
 …
+        }
         body->push_back( new ast::ReturnStmt(loc,
+        body->push_back( new ast::ReturnStmt(loc,
                 ast::ConstantExpr::from_int( loc, 0 ) ));
 …
         ast::CompoundStmt * body = new ast::CompoundStmt(loc);
         ast::FunctionDecl * func_t = ast::deepCopy(handle_func_t);
+        ast::FunctionDecl * func_t = make_handle_function( loc );
         const ast::DeclWithType * except_obj = func_t->params.back();
 …
                 ast::CompoundStmt * handling_code;
                 if (handler->body.as<ast::CompoundStmt>()) {
                         handling_code =
                         strict_dynamic_cast<ast::CompoundStmt*>( handler->body.get_and_mutate() );
+                        handling_code = strict_dynamic_cast<ast::CompoundStmt*>(
+                                handler->body.get_and_mutate() );
                 } else {
                         handling_code = new ast::CompoundStmt(loc);
 …
         const ast::CompoundStmt * body = finally->body;
         ast::FunctionDecl * func_t = ast::deepCopy(finally_func_t);
+        ast::FunctionDecl * func_t = make_finally_function( tryStmt->location );
         func_t->stmts = body;
-        // finally->set_block( nullptr );
-        // delete finally;
         tryStmt->finally = nullptr;
         return func_t;
 …
         const CodeLocation loc = finally_wrapper->location;
-        // Make Cleanup Attribute.
-        /*
-        std::list< ast::Attribute * > attributes;
+        {
-                std::list<  > attr_params;
-                attr_params.push_back( nameOf( finally_wrapper ) );
-                attributes.push_back( new Attribute( "cleanup", attr_params ) );
+        }
-        */
         return new ast::ObjectDecl(
                 loc,
 …
         // return false;
         const CodeLocation loc = throwStmt->location;
         ast::Stmt * result = new ast::ReturnStmt(loc,
+        ast::Stmt * result = new ast::ReturnStmt(loc,
                 ast::ConstantExpr::from_bool( loc, false )
                 );
         result->labels = throwStmt->labels;
-        // delete throwStmt; done by postvisit
         return result;
+}
 …
                 assert( nullptr == except_decl );
                 except_decl = structDecl;
-                init_func_types();
         } else if ( structDecl->name == "__cfaehm_try_resume_node" ) {
                 assert( nullptr == node_decl );
 …
+                }
+        }
-        // split( mutStmt->handlers,
-        //              termination_handlers, resumption_handlers );
         if ( resumption_handlers.size() ) {

src/InitTweak/FixGlobalInit.cc

-              ref3c383
+              rd672350
                 accept_all(translationUnit, fixer);
+                // Say these magic declarations come at the end of the file.
+                CodeLocation const & location = translationUnit.decls.back()->location;
                 if ( !fixer.core.initStmts.empty() ) {
                         std::vector<ast::ptr<ast::Expr>> ctorParams;
+                        if (inLibrary) ctorParams.emplace_back(ast::ConstantExpr::from_int({}, 200));
+                        auto initFunction = new ast::FunctionDecl({}, "__global_init__", {}, {}, {}, new ast::CompoundStmt({}, std::move(fixer.core.initStmts)),
+                                ast::Storage::Static, ast::Linkage::C, {new ast::Attribute("constructor", std::move(ctorParams))});
+                        if (inLibrary) ctorParams.emplace_back(ast::ConstantExpr::from_int(location, 200));
+                        auto initFunction = new ast::FunctionDecl(location,
+                                "__global_init__", {}, {}, {},
+                                new ast::CompoundStmt(location, std::move(fixer.core.initStmts)),
+                                ast::Storage::Static, ast::Linkage::C,
+                                {new ast::Attribute("constructor", std::move(ctorParams))});
                         translationUnit.decls.emplace_back( initFunction );
 …
                 if ( !fixer.core.destroyStmts.empty() ) {
                         std::vector<ast::ptr<ast::Expr>> dtorParams;
+                        if (inLibrary) dtorParams.emplace_back(ast::ConstantExpr::from_int({}, 200));
+                        auto destroyFunction = new ast::FunctionDecl({}, "__global_destroy__", {}, {}, {}, new ast::CompoundStmt({}, std::move(fixer.core.destroyStmts)),
+                                ast::Storage::Static, ast::Linkage::C, {new ast::Attribute("destructor", std::move(dtorParams))});
+                        if (inLibrary) dtorParams.emplace_back(ast::ConstantExpr::from_int(location, 200));
+                        auto destroyFunction = new ast::FunctionDecl( location,
+                                "__global_destroy__", {}, {}, {},
+                                new ast::CompoundStmt(location, std::move(fixer.core.destroyStmts)),
+                                ast::Storage::Static, ast::Linkage::C,
+                                {new ast::Attribute("destructor", std::move(dtorParams))});
                         translationUnit.decls.emplace_back(destroyFunction);

src/InitTweak/FixInitNew.cpp

-              ref3c383
+              rd672350
 #include "CodeGen/GenType.h"           // for genPrettyType
 #include "CodeGen/OperatorTable.h"
+#include "Common/CodeLocationTools.hpp"
 #include "Common/PassVisitor.h"        // for PassVisitor, WithStmtsToAdd
 #include "Common/SemanticError.h"      // for SemanticError
 …
         /// generate/resolve copy construction expressions for each, and generate/resolve destructors for both
         /// arguments and return value temporaries
         struct ResolveCopyCtors final : public ast::WithGuards, public ast::WithStmtsToAdd<>, public ast::WithSymbolTable, public ast::WithShortCircuiting, public ast::WithVisitorRef<ResolveCopyCtors> {
+        struct ResolveCopyCtors final : public ast::WithGuards, public ast::WithStmtsToAdd<>, public ast::WithSymbolTable, public ast::WithShortCircuiting, public ast::WithVisitorRef<ResolveCopyCtors>, public ast::WithConstTranslationUnit {
                 const ast::Expr * postvisit( const ast::ImplicitCopyCtorExpr * impCpCtorExpr );
                 const ast::StmtExpr * previsit( const ast::StmtExpr * stmtExpr );
 …
         /// for any member that is missing a corresponding ctor/dtor call.
         /// error if a member is used before constructed
         struct GenStructMemberCalls final : public ast::WithGuards, public ast::WithShortCircuiting, public ast::WithSymbolTable, public ast::WithVisitorRef<GenStructMemberCalls> {
+        struct GenStructMemberCalls final : public ast::WithGuards, public ast::WithShortCircuiting, public ast::WithSymbolTable, public ast::WithVisitorRef<GenStructMemberCalls>, public ast::WithConstTranslationUnit {
                 void previsit( const ast::FunctionDecl * funcDecl );
                 const ast::DeclWithType * postvisit( const ast::FunctionDecl * funcDecl );
 …
         /// expands ConstructorExpr nodes into comma expressions, using a temporary for the first argument
         struct FixCtorExprs final : public ast::WithDeclsToAdd<>, public ast::WithSymbolTable, public ast::WithShortCircuiting {
+        struct FixCtorExprs final : public ast::WithDeclsToAdd<>, public ast::WithSymbolTable, public ast::WithShortCircuiting, public ast::WithConstTranslationUnit {
                 const ast::Expr * postvisit( const ast::ConstructorExpr * ctorExpr );
         };
 …
                 // (VariableExpr and already resolved expression)
                 CP_CTOR_PRINT( std::cerr << "ResolvingCtorDtor " << untyped << std::endl; )
                 ast::ptr<ast::Expr> resolved = ResolvExpr::findVoidExpression(untyped, symtab);
+                ast::ptr<ast::Expr> resolved = ResolvExpr::findVoidExpression(untyped, { symtab, transUnit().global } );
                 assert( resolved );
                 if ( resolved->env ) {
 …
                 ast::ptr<ast::Expr> guard = mutArg;
                 ast::ptr<ast::ObjectDecl> tmp = new ast::ObjectDecl({}, "__tmp", mutResult, nullptr );
+                ast::ptr<ast::ObjectDecl> tmp = new ast::ObjectDecl(loc, "__tmp", mutResult, nullptr );
                 // create and resolve copy constructor
 …
         ast::Expr * ResolveCopyCtors::destructRet( const ast::ObjectDecl * ret, const ast::Expr * arg ) {
+                auto global = transUnit().global;
                 // TODO: refactor code for generating cleanup attribute, since it's common and reused in ~3-4 places
                 // check for existing cleanup attribute before adding another(?)
                 // need to add __Destructor for _tmp_cp variables as well
                 assertf( ast::dtorStruct, "Destructor generation requires __Destructor definition." );
                 assertf( ast::dtorStruct->members.size() == 2, "__Destructor definition does not have expected fields." );
                 assertf( ast::dtorStructDestroy, "Destructor generation requires __destroy_Destructor." );
+                assertf( global.dtorStruct, "Destructor generation requires __Destructor definition." );
+                assertf( global.dtorStruct->members.size() == 2, "__Destructor definition does not have expected fields." );
+                assertf( global.dtorDestroy, "Destructor generation requires __destroy_Destructor." );
                 const CodeLocation loc = ret->location;
 …
                 auto dtorFunc = getDtorFunc( ret, new ast::ExprStmt(loc, dtor ), stmtsToAddBefore );
                 auto dtorStructType = new ast::StructInstType(ast::dtorStruct);
+                auto dtorStructType = new ast::StructInstType( global.dtorStruct );
                 // what does this do???
 …
                 static UniqueName namer( "_ret_dtor" );
                 auto retDtor = new ast::ObjectDecl(loc, namer.newName(), dtorStructType, new ast::ListInit(loc, { new ast::SingleInit(loc, ast::ConstantExpr::null(loc) ), new ast::SingleInit(loc, new ast::CastExpr( new ast::VariableExpr(loc, dtorFunc ), dtorType ) ) } ) );
                 retDtor->attributes.push_back( new ast::Attribute( "cleanup", { new ast::VariableExpr(loc, ast::dtorStructDestroy ) } ) );
+                retDtor->attributes.push_back( new ast::Attribute( "cleanup", { new ast::VariableExpr(loc, global.dtorDestroy ) } ) );
                 stmtsToAddBefore.push_back( new ast::DeclStmt(loc, retDtor ) );
                 if ( arg ) {
                         auto member = new ast::MemberExpr(loc, ast::dtorStruct->members.front().strict_as<ast::DeclWithType>(), new ast::VariableExpr(loc, retDtor ) );
+                        auto member = new ast::MemberExpr(loc, global.dtorStruct->members.front().strict_as<ast::DeclWithType>(), new ast::VariableExpr(loc, retDtor ) );
                         auto object = new ast::CastExpr( new ast::AddressExpr( new ast::VariableExpr(loc, ret ) ), new ast::PointerType(new ast::VoidType() ) );
                         ast::Expr * assign = createBitwiseAssignment( member, object );
 …
         // to prevent warnings ('_unq0' may be used uninitialized in this function),
         // insert an appropriate zero initializer for UniqueExpr temporaries.
         ast::Init * makeInit( const ast::Type * t ) {
+        ast::Init * makeInit( const ast::Type * t, CodeLocation const & loc ) {
                 if ( auto inst = dynamic_cast< const ast::StructInstType * >( t ) ) {
                         // initizer for empty struct must be empty
+                        if ( inst->base->members.empty() ) return new ast::ListInit({}, {});
+                        if ( inst->base->members.empty() ) {
+                                return new ast::ListInit( loc, {} );
+                        }
                 } else if ( auto inst = dynamic_cast< const ast::UnionInstType * >( t ) ) {
                         // initizer for empty union must be empty
+                        if ( inst->base->members.empty() ) return new ast::ListInit({}, {});
+                }
+                return new ast::ListInit( {}, { new ast::SingleInit( {}, ast::ConstantExpr::from_int({}, 0) ) } );
+                        if ( inst->base->members.empty() ) {
+                                return new ast::ListInit( loc, {} );
+                        }
+                }
+                return new ast::ListInit( loc, {
+                        new ast::SingleInit( loc, ast::ConstantExpr::from_int( loc, 0 ) )
+                } );
+        }
 …
                         } else {
                                 // expr isn't a call expr, so create a new temporary variable to use to hold the value of the unique expression
                                 mutExpr->object = new ast::ObjectDecl( mutExpr->location, toString("_unq", mutExpr->id), mutExpr->result, makeInit( mutExpr->result ) );
+                                mutExpr->object = new ast::ObjectDecl( mutExpr->location, toString("_unq", mutExpr->id), mutExpr->result, makeInit( mutExpr->result, mutExpr->location ) );
                                 mutExpr->var = new ast::VariableExpr( mutExpr->location, mutExpr->object );
+                        }
 …
                         auto guard = makeFuncGuard( [this]() { symtab.enterScope(); }, [this]() { symtab.leaveScope(); } );
                         symtab.addFunction( function );
+                        auto global = transUnit().global;
                         // need to iterate through members in reverse in order for
 …
                                                         static UniqueName memberDtorNamer = { "__memberDtor" };
                                                         assertf( ast::dtorStruct, "builtin __Destructor not found." );
                                                         assertf( ast::dtorStructDestroy, "builtin __destroy_Destructor not found." );
+                                                        assertf( global.dtorStruct, "builtin __Destructor not found." );
+                                                        assertf( global.dtorDestroy, "builtin __destroy_Destructor not found." );
                                                         ast::Expr * thisExpr = new ast::CastExpr( new ast::AddressExpr( new ast::VariableExpr(loc, thisParam ) ), new ast::PointerType( new ast::VoidType(), ast::CV::Qualifiers() ) );
 …
                                                         auto dtorType = new ast::PointerType( dtorFtype );
                                                         auto destructor = new ast::ObjectDecl(loc, memberDtorNamer.newName(), new ast::StructInstType( ast::dtorStruct ), new ast::ListInit(loc, { new ast::SingleInit(loc, thisExpr ), new ast::SingleInit(loc, new ast::CastExpr( dtorExpr, dtorType ) ) } ) );
                                                         destructor->attributes.push_back( new ast::Attribute( "cleanup", { new ast::VariableExpr({}, ast::dtorStructDestroy ) } ) );
+                                                        auto destructor = new ast::ObjectDecl(loc, memberDtorNamer.newName(), new ast::StructInstType( global.dtorStruct ), new ast::ListInit(loc, { new ast::SingleInit(loc, thisExpr ), new ast::SingleInit(loc, new ast::CastExpr( dtorExpr, dtorType ) ) } ) );
+                                                        destructor->attributes.push_back( new ast::Attribute( "cleanup", { new ast::VariableExpr( loc, global.dtorDestroy ) } ) );
                                                         mutStmts->push_front( new ast::DeclStmt(loc, destructor ) );
                                                         mutStmts->kids.splice( mutStmts->kids.begin(), stmtsToAdd );
 …
         const ast::Expr * GenStructMemberCalls::postvisit( const ast::UntypedExpr * untypedExpr ) {
-                // Expression * newExpr = untypedExpr;
                 // xxx - functions returning ast::ptr seems wrong...
+                auto res = ResolvExpr::findVoidExpression( untypedExpr, symtab );
+                return res.release();
+                // return newExpr;
+                auto res = ResolvExpr::findVoidExpression( untypedExpr, { symtab, transUnit().global } );
+                // Fix CodeLocation (at least until resolver is fixed).
+                auto fix = localFillCodeLocations( untypedExpr->location, res.release() );
+                return strict_dynamic_cast<const ast::Expr *>( fix );
+        }
 …
                 // resolve assignment and dispose of new env
                 auto resolved = ResolvExpr::findVoidExpression( assign, symtab );
+                auto resolved = ResolvExpr::findVoidExpression( assign, { symtab, transUnit().global } );
                 auto mut = resolved.get_and_mutate();
                 assertf(resolved.get() == mut, "newly resolved expression must be unique");

src/Parser/parser.yy

-              ref3c383
+              rd672350
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
 // Last Modified On : Fri Feb 11 14:26:15 2022
 // Update Count     : 5174
+// Last Modified On : Mon Mar 14 16:35:29 2022
+// Update Count     : 5276
 //
 …
         // | RESUME '(' comma_expression ')' compound_statement
         //      { SemanticError( yylloc, "Resume expression is currently unimplemented." ); $$ = nullptr; }
+        | IDENTIFIER IDENTIFIER                                                         // syntax error
+                {
+                        SemanticError( yylloc, ::toString( "Adjacent identifiers are not meaningful in an expression. "
+                                                                                           "Possible problem is identifier \"", *$1.str,
+                                                                                           "\" is a misspelled typename or an incorrectly specified type name, "
+                                                                                           "e.g., missing generic parameter or missing struct/union/enum before typename." ) );
+                        $$ = nullptr;
+                }
+        | IDENTIFIER direct_type                                                        // syntax error
+                {
+                        SemanticError( yylloc, ::toString( "Identifier \"", *$1.str, "\" cannot appear before a type. "
+                                                                                           "Possible problem is misspelled storage or CV qualifier." ) );
+                        $$ = nullptr;
+                }
+        ;
 …
                         // Historic, transitional: Disallow commas in subscripts.
                         // Switching to this behaviour may help check if a C compatibilty case uses comma-exprs in subscripts.
-                // { SemanticError( yylloc, "New array subscript is currently unimplemented." ); $$ = nullptr; }
                         // Current: Commas in subscripts make tuples.
                 { $$ = new ExpressionNode( build_binary_val( OperKinds::Index, $1, new ExpressionNode( build_tuple( (ExpressionNode *)($3->set_last( $5 ) ) )) ) ); }
 …
                 // equivalent to the old x[i,j].
                 { $$ = new ExpressionNode( build_binary_val( OperKinds::Index, $1, $3 ) ); }
+        | constant '[' assignment_expression ']'                        // 3[a], 'a'[a], 3.5[a]
+                { $$ = new ExpressionNode( build_binary_val( OperKinds::Index, $1, $3 ) ); }
+        | string_literal '[' assignment_expression ']'          // "abc"[3], 3["abc"]
+                { $$ = new ExpressionNode( build_binary_val( OperKinds::Index, new ExpressionNode( $1 ), $3 ) ); }
         | postfix_expression '{' argument_expression_list_opt '}' // CFA, constructor call
+                {
 …
         identifier_or_type_name ':' attribute_list_opt statement
                 { $$ = $4->add_label( $1, $3 ); }
+        | identifier_or_type_name ':' attribute_list_opt error // syntax error
+                {
+                        SemanticError( yylloc, ::toString( "Label \"", *$1.str, "\" must be associated with a statement, "
+                                                                                           "where a declaration, case, or default is not a statement. "
+                                                                                           "Move the label or terminate with a semi-colon." ) );
+                        $$ = nullptr;
+                }
+        ;
 …
         | statement_list_nodecl statement
                 { assert( $1 ); $1->set_last( $2 ); $$ = $1; }
+        | statement_list_nodecl error                                           // syntax error
+                { SemanticError( yylloc, "Declarations only allowed at the start of the switch body, i.e., after the '{'." ); $$ = nullptr; }
+        ;
 …
         | MUTEX '(' ')' comma_expression ';'
                 { $$ = new StatementNode( build_mutex( nullptr, new StatementNode( build_expr( $4 ) ) ) ); }
-                // { SemanticError( yylloc, "Mutex expression is currently unimplemented." ); $$ = nullptr; }
+        ;
 …
                         $$ = $7 ? new StatementNode( build_compound( (StatementNode *)((new StatementNode( $7 ))->set_last( sw )) ) ) : sw;
+                }
+        | SWITCH '(' comma_expression ')' '{' error '}'         // CFA, syntax error
+                { SemanticError( yylloc, "Only declarations can appear before the list of case clauses." ); $$ = nullptr; }
         | CHOOSE '(' comma_expression ')' case_clause           // CFA
                 { $$ = new StatementNode( build_switch( false, $3, $5 ) ); }
 …
                         $$ = $7 ? new StatementNode( build_compound( (StatementNode *)((new StatementNode( $7 ))->set_last( sw )) ) ) : sw;
+                }
+        | CHOOSE '(' comma_expression ')' '{' error '}'         // CFA, syntax error
+                { SemanticError( yylloc, "Only declarations can appear before the list of case clauses." ); $$ = nullptr; }
+        ;
 …
 case_label:                                                                                             // CFA
+        CASE case_value_list ':'                                        { $$ = $2; }
+        CASE error                                                                                      // syntax error
+                { SemanticError( yylloc, "Missing case list after case." ); $$ = nullptr; }
+        | CASE case_value_list ':'                                      { $$ = $2; }
+        | CASE case_value_list error                                            // syntax error
+                { SemanticError( yylloc, "Missing colon after case list." ); $$ = nullptr; }
         | DEFAULT ':'                                                           { $$ = new StatementNode( build_default() ); }
                 // A semantic check is required to ensure only one default clause per switch/choose statement.
+        ;
+//label_list_opt:
+//      // empty
+//      | identifier_or_type_name ':'
+//      | label_list_opt identifier_or_type_name ':'
+//      ;
+        | DEFAULT error                                                                         //  syntax error
+                { SemanticError( yylloc, "Missing colon after default." ); $$ = nullptr; }
+        ;
 case_label_list:                                                                                // CFA
 …
         | when_clause_opt ELSE statement
                 { $$ = build_waitfor_timeout( nullptr, maybe_build_compound( $3 ), $1 ); }
                 // "else" must be conditional after timeout or timeout is never triggered (i.e., it is meaningless)
         | when_clause_opt timeout statement WOR ELSE statement
+        // "else" must be conditional after timeout or timeout is never triggered (i.e., it is meaningless)
+        | when_clause_opt timeout statement WOR ELSE statement // syntax error
                 { SemanticError( yylloc, "else clause must be conditional after timeout or timeout never triggered." ); $$ = nullptr; }
         | when_clause_opt timeout statement WOR when_clause ELSE statement

src/ResolvExpr/CandidateFinder.cpp

-              ref3c383
+              rd672350
 // Created On       : Wed Jun 5 14:30:00 2019
 // Last Modified By : Andrew Beach
 // Last Modified On : Tue Oct  1 14:55:00 2019
 // Update Count     : 2
+// Last Modified On : Wed Mar 16 11:58:00 2022
+// Update Count     : 3
 //
 …
         /// Actually visits expressions to find their candidate interpretations
         class Finder final : public ast::WithShortCircuiting {
+                const ResolveContext & context;
                 const ast::SymbolTable & symtab;
         public:
 …
                 Finder( CandidateFinder & f )
                 : symtab( f.localSyms ), selfFinder( f ), candidates( f.candidates ), tenv( f.env ),
                   targetType( f.targetType ) {}
+                : context( f.context ), symtab( context.symtab ), selfFinder( f ),
+                  candidates( f.candidates ), tenv( f.env ), targetType( f.targetType ) {}
                 void previsit( const ast::Node * ) { visit_children = false; }
 …
                         Tuples::handleTupleAssignment( selfFinder, untypedExpr, argCandidates );
                         CandidateFinder funcFinder{ symtab, tenv };
+                        CandidateFinder funcFinder( context, tenv );
                         if (auto nameExpr = untypedExpr->func.as<ast::NameExpr>()) {
                                 auto kind = ast::SymbolTable::getSpecialFunctionKind(nameExpr->name);
 …
                         // find function operators
                         ast::ptr< ast::Expr > opExpr = new ast::NameExpr{ untypedExpr->location, "?()" };
                         CandidateFinder opFinder{ symtab, tenv };
+                        CandidateFinder opFinder( context, tenv );
                         // okay if there aren't any function operations
                         opFinder.find( opExpr, ResolvMode::withoutFailFast() );
 …
                 void postvisit( const ast::AddressExpr * addressExpr ) {
                         CandidateFinder finder{ symtab, tenv };
+                        CandidateFinder finder( context, tenv );
                         finder.find( addressExpr->arg );
 …
                         ast::ptr< ast::Type > toType = castExpr->result;
                         assert( toType );
                         toType = resolveTypeof( toType, symtab );
+                        toType = resolveTypeof( toType, context );
                         // toType = SymTab::validateType( castExpr->location, toType, symtab );
                         toType = adjustExprType( toType, tenv, symtab );
                         CandidateFinder finder{ symtab, tenv, toType };
+                        CandidateFinder finder( context, tenv, toType );
                         finder.find( castExpr->arg, ResolvMode::withAdjustment() );
 …
                 void postvisit( const ast::VirtualCastExpr * castExpr ) {
                         assertf( castExpr->result, "Implicit virtual cast targets not yet supported." );
                         CandidateFinder finder{ symtab, tenv };
+                        CandidateFinder finder( context, tenv );
                         // don't prune here, all alternatives guaranteed to have same type
                         finder.find( castExpr->arg, ResolvMode::withoutPrune() );
 …
                         auto target = inst->base.get();
                         CandidateFinder finder{ symtab, tenv };
+                        CandidateFinder finder( context, tenv );
                         auto pick_alternatives = [target, this](CandidateList & found, bool expect_ref) {
 …
                 void postvisit( const ast::UntypedMemberExpr * memberExpr ) {
                         CandidateFinder aggFinder{ symtab, tenv };
+                        CandidateFinder aggFinder( context, tenv );
                         aggFinder.find( memberExpr->aggregate, ResolvMode::withAdjustment() );
                         for ( CandidateRef & agg : aggFinder.candidates ) {
 …
                                 addCandidate(
                                         new ast::SizeofExpr{
                                                 sizeofExpr->location, resolveTypeof( sizeofExpr->type, symtab ) },
+                                                sizeofExpr->location, resolveTypeof( sizeofExpr->type, context ) },
                                         tenv );
                         } else {
                                 // find all candidates for the argument to sizeof
                                 CandidateFinder finder{ symtab, tenv };
+                                CandidateFinder finder( context, tenv );
                                 finder.find( sizeofExpr->expr );
                                 // find the lowest-cost candidate, otherwise ambiguous
 …
                                 addCandidate(
                                         new ast::AlignofExpr{
                                                 alignofExpr->location, resolveTypeof( alignofExpr->type, symtab ) },
+                                                alignofExpr->location, resolveTypeof( alignofExpr->type, context ) },
                                         tenv );
                         } else {
                                 // find all candidates for the argument to alignof
                                 CandidateFinder finder{ symtab, tenv };
+                                CandidateFinder finder( context, tenv );
                                 finder.find( alignofExpr->expr );
                                 // find the lowest-cost candidate, otherwise ambiguous
 …
                 void postvisit( const ast::LogicalExpr * logicalExpr ) {
                         CandidateFinder finder1{ symtab, tenv };
+                        CandidateFinder finder1( context, tenv );
                         finder1.find( logicalExpr->arg1, ResolvMode::withAdjustment() );
                         if ( finder1.candidates.empty() ) return;
                         CandidateFinder finder2{ symtab, tenv };
+                        CandidateFinder finder2( context, tenv );
                         finder2.find( logicalExpr->arg2, ResolvMode::withAdjustment() );
                         if ( finder2.candidates.empty() ) return;
 …
                 void postvisit( const ast::ConditionalExpr * conditionalExpr ) {
                         // candidates for condition
                         CandidateFinder finder1{ symtab, tenv };
+                        CandidateFinder finder1( context, tenv );
                         finder1.find( conditionalExpr->arg1, ResolvMode::withAdjustment() );
                         if ( finder1.candidates.empty() ) return;
                         // candidates for true result
                         CandidateFinder finder2{ symtab, tenv };
+                        CandidateFinder finder2( context, tenv );
                         finder2.find( conditionalExpr->arg2, ResolvMode::withAdjustment() );
                         if ( finder2.candidates.empty() ) return;
                         // candidates for false result
                         CandidateFinder finder3{ symtab, tenv };
+                        CandidateFinder finder3( context, tenv );
                         finder3.find( conditionalExpr->arg3, ResolvMode::withAdjustment() );
                         if ( finder3.candidates.empty() ) return;
 …
                 void postvisit( const ast::CommaExpr * commaExpr ) {
                         ast::TypeEnvironment env{ tenv };
                         ast::ptr< ast::Expr > arg1 = resolveInVoidContext( commaExpr->arg1, symtab, env );
                         CandidateFinder finder2{ symtab, env };
+                        ast::ptr< ast::Expr > arg1 = resolveInVoidContext( commaExpr->arg1, context, env );
+                        CandidateFinder finder2( context, env );
                         finder2.find( commaExpr->arg2, ResolvMode::withAdjustment() );
 …
                 void postvisit( const ast::ConstructorExpr * ctorExpr ) {
                         CandidateFinder finder{ symtab, tenv };
+                        CandidateFinder finder( context, tenv );
                         finder.find( ctorExpr->callExpr, ResolvMode::withoutPrune() );
                         for ( CandidateRef & r : finder.candidates ) {
 …
                 void postvisit( const ast::RangeExpr * rangeExpr ) {
                         // resolve low and high, accept candidates where low and high types unify
                         CandidateFinder finder1{ symtab, tenv };
+                        CandidateFinder finder1( context, tenv );
                         finder1.find( rangeExpr->low, ResolvMode::withAdjustment() );
                         if ( finder1.candidates.empty() ) return;
                         CandidateFinder finder2{ symtab, tenv };
+                        CandidateFinder finder2( context, tenv );
                         finder2.find( rangeExpr->high, ResolvMode::withAdjustment() );
                         if ( finder2.candidates.empty() ) return;
 …
                 void postvisit( const ast::UniqueExpr * unqExpr ) {
                         CandidateFinder finder{ symtab, tenv };
+                        CandidateFinder finder( context, tenv );
                         finder.find( unqExpr->expr, ResolvMode::withAdjustment() );
                         for ( CandidateRef & r : finder.candidates ) {
 …
                 void postvisit( const ast::StmtExpr * stmtExpr ) {
                         addCandidate( resolveStmtExpr( stmtExpr, symtab ), tenv );
+                        addCandidate( resolveStmtExpr( stmtExpr, context ), tenv );
+                }
 …
                         for ( const ast::InitAlternative & initAlt : initExpr->initAlts ) {
                                 // calculate target type
                                 const ast::Type * toType = resolveTypeof( initAlt.type, symtab );
+                                const ast::Type * toType = resolveTypeof( initAlt.type, context );
                                 // toType = SymTab::validateType( initExpr->location, toType, symtab );
                                 toType = adjustExprType( toType, tenv, symtab );
 …
                                 // types are not bound to the initialization type, since return type variables are
                                 // only open for the duration of resolving the UntypedExpr.
                                 CandidateFinder finder{ symtab, tenv, toType };
+                                CandidateFinder finder( context, tenv, toType );
                                 finder.find( initExpr->expr, ResolvMode::withAdjustment() );
                                 for ( CandidateRef & cand : finder.candidates ) {
 …
+                }
                 else {
                         satisfyAssertions(candidate, localSyms, satisfied, errors);
+                        satisfyAssertions(candidate, context.symtab, satisfied, errors);
                         needRecomputeKey = true;
+                }
 …
                         r->expr = ast::mutate_field(
                                 r->expr.get(), &ast::Expr::result,
                                 adjustExprType( r->expr->result, r->env, localSyms ) );
+                                adjustExprType( r->expr->result, r->env, context.symtab ) );
+                }
+        }
 …
         for ( const auto & x : xs ) {
                 out.emplace_back( localSyms, env );
+                out.emplace_back( context, env );
                 out.back().find( x, ResolvMode::withAdjustment() );

src/ResolvExpr/CandidateFinder.hpp

-              ref3c383
+              rd672350
 // Created On       : Wed Jun 5 14:30:00 2019
 // Last Modified By : Andrew Beach
 // Last Modified On : Tue Oct  1  9:51:00 2019
 // Update Count     : 2
+// Last Modified On : Wed Mar 16 15:22:00 2022
+// Update Count     : 3
 //
 …
 namespace ResolvExpr {
+struct ResolveContext;
 /// Data to perform expression resolution
 struct CandidateFinder {
         CandidateList candidates;          ///< List of candidate resolutions
         const ast::SymbolTable & localSyms;   ///< Symbol table to lookup candidates
+        const ResolveContext & context;  ///< Information about where the canditates are being found.
         const ast::TypeEnvironment & env;  ///< Substitutions performed in this resolution
         ast::ptr< ast::Type > targetType;  ///< Target type for resolution
 …
         CandidateFinder(
                 const ast::SymbolTable & syms, const ast::TypeEnvironment & env,
+                const ResolveContext & context, const ast::TypeEnvironment & env,
                 const ast::Type * tt = nullptr )
         : candidates(), localSyms( syms ), env( env ), targetType( tt ) {}
+        : candidates(), context( context ), env( env ), targetType( tt ) {}
         /// Fill candidates with feasible resolutions for `expr`

src/ResolvExpr/CandidatePrinter.cpp

-              ref3c383
+              rd672350
 // Created On       : Tue Nov  9  9:54:00 2021
 // Last Modified By : Andrew Beach
 // Last Modified On : Tue Nov  9 15:47:00 2021
 // Update Count     : 0
+// Last Modified On : Wed Mar 16 13:56:00 2022
+// Update Count     : 1
 //
 …
 #include "AST/TranslationUnit.hpp"
 #include "ResolvExpr/CandidateFinder.hpp"
+#include "ResolvExpr/Resolver.h"
 #include <iostream>
 …
 namespace {
+class CandidatePrintCore : public ast::WithSymbolTable {
+class CandidatePrintCore : public ast::WithSymbolTable,
+                public ast::WithConstTranslationUnit {
         std::ostream & os;
 public:
 …
         void postvisit( const ast::ExprStmt * stmt ) {
                 ast::TypeEnvironment env;
                 CandidateFinder finder( symtab, env );
+                CandidateFinder finder( { symtab, transUnit().global }, env );
                 finder.find( stmt->expr, ResolvMode::withAdjustment() );
                 int count = 1;

src/ResolvExpr/ResolveTypeof.cc

-              ref3c383
+              rd672350
 // Author           : Richard C. Bilson
 // Created On       : Sun May 17 12:12:20 2015
 // Last Modified By : Peter A. Buhr
 // Last Modified On : Tue May 19 16:49:04 2015
 // Update Count     : 3
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Mar 16 16:09:00 2022
+// Update Count     : 4
 //
 …
 #include "AST/Node.hpp"
 #include "AST/Pass.hpp"
+#include "AST/TranslationUnit.hpp"
 #include "AST/Type.hpp"
 #include "AST/TypeEnvironment.hpp"
 …
 namespace {
         struct ResolveTypeof_new : public ast::WithShortCircuiting {
+                const ast::SymbolTable & localSymtab;
+                ResolveTypeof_new( const ast::SymbolTable & syms ) : localSymtab( syms ) {}
+                const ResolveContext & context;
+                ResolveTypeof_new( const ResolveContext & context ) :
+                        context( context ) {}
                 void previsit( const ast::TypeofType * ) { visit_children = false; }
 …
                                 ast::TypeEnvironment dummy;
                                 ast::ptr< ast::Expr > newExpr =
                                         resolveInVoidContext( typeofType->expr, localSymtab, dummy );
+                                        resolveInVoidContext( typeofType->expr, context, dummy );
                                 assert( newExpr->result && ! newExpr->result->isVoid() );
                                 newType = newExpr->result;
 …
 } // anonymous namespace
 const ast::Type * resolveTypeof( const ast::Type * type , const ast::SymbolTable & symtab ) {
         ast::Pass< ResolveTypeof_new > mutator{ symtab };
+const ast::Type * resolveTypeof( const ast::Type * type , const ResolveContext & context ) {
+        ast::Pass< ResolveTypeof_new > mutator( context );
         return type->accept( mutator );
+}
 …
 struct FixArrayDimension {
         // should not require a mutable symbol table - prevent pass template instantiation
         const ast::SymbolTable & _symtab;
         FixArrayDimension(const ast::SymbolTable & symtab): _symtab(symtab) {}
+        const ResolveContext & context;
+        FixArrayDimension(const ResolveContext & context) : context( context ) {}
         const ast::ArrayType * previsit (const ast::ArrayType * arrayType) {
                 if (!arrayType->dimension) return arrayType;
                 auto mutType = mutate(arrayType);
+                ast::ptr<ast::Type> sizetype = ast::sizeType ? ast::sizeType : new ast::BasicType(ast::BasicType::LongUnsignedInt);
+                mutType->dimension = findSingleExpression(arrayType->dimension, sizetype, _symtab);
+                auto globalSizeType = context.global.sizeType;
+                ast::ptr<ast::Type> sizetype = globalSizeType ? globalSizeType : new ast::BasicType(ast::BasicType::LongUnsignedInt);
+                mutType->dimension = findSingleExpression(arrayType->dimension, sizetype, context );
                 if (InitTweak::isConstExpr(mutType->dimension)) {
 …
 };
 const ast::Type * fixArrayType( const ast::Type * type, const ast::SymbolTable & symtab) {
         ast::Pass<FixArrayDimension> visitor {symtab};
+const ast::Type * fixArrayType( const ast::Type * type, const ResolveContext & context ) {
+        ast::Pass<FixArrayDimension> visitor(context);
         return type->accept(visitor);
+}
 const ast::ObjectDecl * fixObjectType( const ast::ObjectDecl * decl , const ast::SymbolTable & symtab ) {
         if (!decl->isTypeFixed) {
+const ast::ObjectDecl * fixObjectType( const ast::ObjectDecl * decl , const ResolveContext & context ) {
+        if (!decl->isTypeFixed) {
                 auto mutDecl = mutate(decl);
                 auto resolvedType = resolveTypeof(decl->type, symtab);
                 resolvedType = fixArrayType(resolvedType, symtab);
+                auto resolvedType = resolveTypeof(decl->type, context);
+                resolvedType = fixArrayType(resolvedType, context);
                 mutDecl->type = resolvedType;

src/ResolvExpr/ResolveTypeof.h

-              ref3c383
+              rd672350
 // Author           : Richard C. Bilson
 // Created On       : Sun May 17 12:14:53 2015
 // Last Modified By : Peter A. Buhr
 // Last Modified On : Sat Jul 22 09:38:35 2017
 // Update Count     : 3
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Mar 16 11:33:00 2022
+// Update Count     : 4
 //
 …
 namespace ast {
         class Type;
-        class SymbolTable;
         class ObjectDecl;
+}
 namespace ResolvExpr {
+        struct ResolveContext;
         Type *resolveTypeof( Type*, const SymTab::Indexer &indexer );
         const ast::Type * resolveTypeof( const ast::Type *, const ast::SymbolTable & );
         const ast::ObjectDecl * fixObjectType( const ast::ObjectDecl * decl , const ast::SymbolTable & symtab );
+        const ast::Type * resolveTypeof( const ast::Type *, const ResolveContext & );
+        const ast::ObjectDecl * fixObjectType( const ast::ObjectDecl * decl , const ResolveContext & );
 } // namespace ResolvExpr

src/ResolvExpr/Resolver.cc

-              ref3c383
+              rd672350
 // Author           : Aaron B. Moss
 // Created On       : Sun May 17 12:17:01 2015
 // Last Modified By : Peter A. Buhr
 // Last Modified On : Tue Feb  1 16:27:14 2022
 // Update Count     : 245
+// Last Modified By : Andrew Beach
+// Last Modified On : Fri Mar 18 10:41:00 2022
+// Update Count     : 247
 //
 …
                 /// Calls the CandidateFinder and finds the single best candidate
                 CandidateRef findUnfinishedKindExpression(
                         const ast::Expr * untyped, const ast::SymbolTable & symtab, const std::string & kind,
+                        const ast::Expr * untyped, const ResolveContext & context, const std::string & kind,
                         std::function<bool(const Candidate &)> pred = anyCandidate, ResolvMode mode = {}
                 ) {
 …
                         ++recursion_level;
                         ast::TypeEnvironment env;
                         CandidateFinder finder{ symtab, env };
+                        CandidateFinder finder( context, env );
                         finder.find( untyped, recursion_level == 1 ? mode.atTopLevel() : mode );
                         --recursion_level;
 …
         ast::ptr< ast::Expr > resolveInVoidContext(
+                const ast::Expr * expr, const ast::SymbolTable & symtab, ast::TypeEnvironment & env
+                const ast::Expr * expr, const ResolveContext & context,
+                ast::TypeEnvironment & env
         ) {
                 assertf( expr, "expected a non-null expression" );
 …
                 ast::ptr< ast::CastExpr > untyped = new ast::CastExpr{ expr };
                 CandidateRef choice = findUnfinishedKindExpression(
                         untyped, symtab, "", anyCandidate, ResolvMode::withAdjustment() );
+                        untyped, context, "", anyCandidate, ResolvMode::withAdjustment() );
                 // a cast expression has either 0 or 1 interpretations (by language rules);
 …
                 /// context.
                 ast::ptr< ast::Expr > findVoidExpression(
                         const ast::Expr * untyped, const ast::SymbolTable & symtab
+                        const ast::Expr * untyped, const ResolveContext & context
                 ) {
                         ast::TypeEnvironment env;
                         ast::ptr< ast::Expr > newExpr = resolveInVoidContext( untyped, symtab, env );
+                        ast::ptr< ast::Expr > newExpr = resolveInVoidContext( untyped, context, env );
                         finishExpr( newExpr, env, untyped->env );
                         return newExpr;
 …
                 /// lowest cost, returning the resolved version
                 ast::ptr< ast::Expr > findKindExpression(
                         const ast::Expr * untyped, const ast::SymbolTable & symtab,
+                        const ast::Expr * untyped, const ResolveContext & context,
                         std::function<bool(const Candidate &)> pred = anyCandidate,
                         const std::string & kind = "", ResolvMode mode = {}
 …
                         if ( ! untyped ) return {};
                         CandidateRef choice =
                                 findUnfinishedKindExpression( untyped, symtab, kind, pred, mode );
+                                findUnfinishedKindExpression( untyped, context, kind, pred, mode );
                         ResolvExpr::finishExpr( choice->expr, choice->env, untyped->env );
                         return std::move( choice->expr );
 …
                 /// Resolve `untyped` to the single expression whose candidate is the best match
                 ast::ptr< ast::Expr > findSingleExpression(
                         const ast::Expr * untyped, const ast::SymbolTable & symtab
+                        const ast::Expr * untyped, const ResolveContext & context
                 ) {
                         Stats::ResolveTime::start( untyped );
                         auto res = findKindExpression( untyped, symtab );
+                        auto res = findKindExpression( untyped, context );
                         Stats::ResolveTime::stop();
                         return res;
 …
         ast::ptr< ast::Expr > findSingleExpression(
+                const ast::Expr * untyped, const ast::Type * type, const ast::SymbolTable & symtab
+                const ast::Expr * untyped, const ast::Type * type,
+                const ResolveContext & context
         ) {
                 assert( untyped && type );
                 ast::ptr< ast::Expr > castExpr = new ast::CastExpr{ untyped, type };
                 ast::ptr< ast::Expr > newExpr = findSingleExpression( castExpr, symtab );
                 removeExtraneousCast( newExpr, symtab );
+                ast::ptr< ast::Expr > newExpr = findSingleExpression( castExpr, context );
+                removeExtraneousCast( newExpr, context.symtab );
                 return newExpr;
+        }
 …
                 /// Resolve `untyped` as an integral expression, returning the resolved version
                 ast::ptr< ast::Expr > findIntegralExpression(
                         const ast::Expr * untyped, const ast::SymbolTable & symtab
+                        const ast::Expr * untyped, const ResolveContext & context
                 ) {
                         return findKindExpression( untyped, symtab, hasIntegralType, "condition" );
+                        return findKindExpression( untyped, context, hasIntegralType, "condition" );
+                }
 …
                 // for work previously in GenInit
                 static InitTweak::ManagedTypes_new managedTypes;
+                ResolveContext context;
                 bool inEnumDecl = false;
 …
         public:
                 static size_t traceId;
+                Resolver_new() = default;
+                Resolver_new( const ast::SymbolTable & syms ) { symtab = syms; }
+                Resolver_new( const ast::TranslationGlobal & global ) :
+                        context{ symtab, global } {}
+                Resolver_new( const ResolveContext & context ) :
+                        ast::WithSymbolTable{ context.symtab },
+                        context{ symtab, context.global } {}
                 const ast::FunctionDecl * previsit( const ast::FunctionDecl * );
 …
                 const ast::AsmStmt *         previsit( const ast::AsmStmt * );
                 const ast::IfStmt *          previsit( const ast::IfStmt * );
                 const ast::WhileDoStmt *       previsit( const ast::WhileDoStmt * );
+                const ast::WhileDoStmt *     previsit( const ast::WhileDoStmt * );
                 const ast::ForStmt *         previsit( const ast::ForStmt * );
                 const ast::SwitchStmt *      previsit( const ast::SwitchStmt * );
 …
         void resolve( ast::TranslationUnit& translationUnit ) {
                 ast::Pass< Resolver_new >::run( translationUnit );
+                ast::Pass< Resolver_new >::run( translationUnit, translationUnit.global );
+        }
         ast::ptr< ast::Init > resolveCtorInit(
                 const ast::ConstructorInit * ctorInit, const ast::SymbolTable & symtab
+                const ast::ConstructorInit * ctorInit, const ResolveContext & context
         ) {
                 assert( ctorInit );
                 ast::Pass< Resolver_new > resolver{ symtab };
+                ast::Pass< Resolver_new > resolver( context );
                 return ctorInit->accept( resolver );
+        }
         const ast::Expr * resolveStmtExpr(
                 const ast::StmtExpr * stmtExpr, const ast::SymbolTable & symtab
+                const ast::StmtExpr * stmtExpr, const ResolveContext & context
         ) {
                 assert( stmtExpr );
                 ast::Pass< Resolver_new > resolver{ symtab };
+                ast::Pass< Resolver_new > resolver( context );
                 auto ret = mutate(stmtExpr->accept(resolver));
                 strict_dynamic_cast< ast::StmtExpr * >( ret )->computeResult();
 …
         namespace {
                 const ast::Attribute * handleAttribute(const CodeLocation & loc, const ast::Attribute * attr, const ast::SymbolTable & symtab) {
+                const ast::Attribute * handleAttribute(const CodeLocation & loc, const ast::Attribute * attr, const ResolveContext & context) {
                         std::string name = attr->normalizedName();
                         if (name == "constructor" || name == "destructor") {
                                 if (attr->params.size() == 1) {
                                         auto arg = attr->params.front();
                                         auto resolved = ResolvExpr::findSingleExpression( arg, new ast::BasicType( ast::BasicType::LongLongSignedInt ), symtab );
+                                        auto resolved = ResolvExpr::findSingleExpression( arg, new ast::BasicType( ast::BasicType::LongLongSignedInt ), context );
                                         auto result = eval(arg);
 …
                         for (auto & attr: mutDecl->attributes) {
                                 attr = handleAttribute(mutDecl->location, attr, symtab);
+                                attr = handleAttribute(mutDecl->location, attr, context );
+                        }
 …
+                        }
                         for (auto & asst : mutDecl->assertions) {
                                 asst = fixObjectType(asst.strict_as<ast::ObjectDecl>(), symtab);
+                                asst = fixObjectType(asst.strict_as<ast::ObjectDecl>(), context);
                                 symtab.addId(asst);
                                 mutType->assertions.emplace_back(new ast::VariableExpr(functionDecl->location, asst));
 …
                         for (auto & param : mutDecl->params) {
                                 param = fixObjectType(param.strict_as<ast::ObjectDecl>(), symtab);
+                                param = fixObjectType(param.strict_as<ast::ObjectDecl>(), context);
                                 symtab.addId(param);
                                 paramTypes.emplace_back(param->get_type());
+                        }
                         for (auto & ret : mutDecl->returns) {
                                 ret = fixObjectType(ret.strict_as<ast::ObjectDecl>(), symtab);
+                                ret = fixObjectType(ret.strict_as<ast::ObjectDecl>(), context);
                                 returnTypes.emplace_back(ret->get_type());
+                        }
 …
                         // enumerator initializers should not use the enum type to initialize, since the
                         // enum type is still incomplete at this point. Use `int` instead.
                         objectDecl = fixObjectType(objectDecl, symtab);
+                        objectDecl = fixObjectType(objectDecl, context);
                         currentObject = ast::CurrentObject{
                                 objectDecl->location, new ast::BasicType{ ast::BasicType::SignedInt } };
 …
                 else {
                         if (!objectDecl->isTypeFixed) {
                                 auto newDecl = fixObjectType(objectDecl, symtab);
+                                auto newDecl = fixObjectType(objectDecl, context);
                                 auto mutDecl = mutate(newDecl);
 …
                         // nested type decls are hoisted already. no need to do anything
                         if (auto obj = member.as<ast::ObjectDecl>()) {
                                 member = fixObjectType(obj, symtab);
+                                member = fixObjectType(obj, context);
+                        }
+                }
 …
                 return ast::mutate_field(
                         assertDecl, &ast::StaticAssertDecl::cond,
                         findIntegralExpression( assertDecl->cond, symtab ) );
+                        findIntegralExpression( assertDecl->cond, context ) );
+        }
         template< typename PtrType >
         const PtrType * handlePtrType( const PtrType * type, const ast::SymbolTable & symtab ) {
+        const PtrType * handlePtrType( const PtrType * type, const ResolveContext & context ) {
                 if ( type->dimension ) {
                         ast::ptr< ast::Type > sizeType = ast::sizeType;
+                        ast::ptr< ast::Type > sizeType = context.global.sizeType;
                         ast::mutate_field(
                                 type, &PtrType::dimension,
                                 findSingleExpression( type->dimension, sizeType, symtab ) );
+                                findSingleExpression( type->dimension, sizeType, context ) );
+                }
                 return type;
 …
         const ast::ArrayType * Resolver_new::previsit( const ast::ArrayType * at ) {
                 return handlePtrType( at, symtab );
+                return handlePtrType( at, context );
+        }
         const ast::PointerType * Resolver_new::previsit( const ast::PointerType * pt ) {
                 return handlePtrType( pt, symtab );
+                return handlePtrType( pt, context );
+        }
 …
                 return ast::mutate_field(
                         exprStmt, &ast::ExprStmt::expr, findVoidExpression( exprStmt->expr, symtab ) );
+                        exprStmt, &ast::ExprStmt::expr, findVoidExpression( exprStmt->expr, context ) );
+        }
 …
                 asmExpr = ast::mutate_field(
                         asmExpr, &ast::AsmExpr::operand, findVoidExpression( asmExpr->operand, symtab ) );
+                        asmExpr, &ast::AsmExpr::operand, findVoidExpression( asmExpr->operand, context ) );
                 return asmExpr;
 …
         const ast::IfStmt * Resolver_new::previsit( const ast::IfStmt * ifStmt ) {
                 return ast::mutate_field(
                         ifStmt, &ast::IfStmt::cond, findIntegralExpression( ifStmt->cond, symtab ) );
+                        ifStmt, &ast::IfStmt::cond, findIntegralExpression( ifStmt->cond, context ) );
+        }
         const ast::WhileDoStmt * Resolver_new::previsit( const ast::WhileDoStmt * whileDoStmt ) {
                 return ast::mutate_field(
                         whileDoStmt, &ast::WhileDoStmt::cond, findIntegralExpression( whileDoStmt->cond, symtab ) );
+                        whileDoStmt, &ast::WhileDoStmt::cond, findIntegralExpression( whileDoStmt->cond, context ) );
+        }
 …
                 if ( forStmt->cond ) {
                         forStmt = ast::mutate_field(
                                 forStmt, &ast::ForStmt::cond, findIntegralExpression( forStmt->cond, symtab ) );
+                                forStmt, &ast::ForStmt::cond, findIntegralExpression( forStmt->cond, context ) );
+                }
                 if ( forStmt->inc ) {
                         forStmt = ast::mutate_field(
                                 forStmt, &ast::ForStmt::inc, findVoidExpression( forStmt->inc, symtab ) );
+                                forStmt, &ast::ForStmt::inc, findVoidExpression( forStmt->inc, context ) );
+                }
 …
                 switchStmt = ast::mutate_field(
                         switchStmt, &ast::SwitchStmt::cond,
                         findIntegralExpression( switchStmt->cond, symtab ) );
+                        findIntegralExpression( switchStmt->cond, context ) );
                 currentObject = ast::CurrentObject{ switchStmt->location, switchStmt->cond->result };
                 return switchStmt;
 …
                         ast::ptr< ast::Expr > untyped =
                                 new ast::CastExpr{ caseStmt->location, caseStmt->cond, initAlts.front().type };
                         ast::ptr< ast::Expr > newExpr = findSingleExpression( untyped, symtab );
+                        ast::ptr< ast::Expr > newExpr = findSingleExpression( untyped, context );
                         // case condition cannot have a cast in C, so it must be removed here, regardless of
 …
                         branchStmt = ast::mutate_field(
                                 branchStmt, &ast::BranchStmt::computedTarget,
                                 findSingleExpression( branchStmt->computedTarget, target, symtab ) );
+                                findSingleExpression( branchStmt->computedTarget, target, context ) );
+                }
                 return branchStmt;
 …
                         returnStmt = ast::mutate_field(
                                 returnStmt, &ast::ReturnStmt::expr,
                                 findSingleExpression( returnStmt->expr, functionReturn, symtab ) );
+                                findSingleExpression( returnStmt->expr, functionReturn, context ) );
+                }
                 return returnStmt;
 …
                         throwStmt = ast::mutate_field(
                                 throwStmt, &ast::ThrowStmt::expr,
                                 findSingleExpression( throwStmt->expr, exceptType, symtab ) );
+                                findSingleExpression( throwStmt->expr, exceptType, context ) );
+                }
                 return throwStmt;
 …
                         ast::TypeEnvironment env;
                         CandidateFinder funcFinder{ symtab, env };
+                        CandidateFinder funcFinder( context, env );
                         // Find all candidates for a function in canonical form
 …
                                 );
                                 clause2.target.args.emplace_back( findSingleExpression( init, symtab ) );
+                                clause2.target.args.emplace_back( findSingleExpression( init, context ) );
+                        }
                         // Resolve the conditions as if it were an IfStmt, statements normally
                         clause2.cond = findSingleExpression( clause.cond, symtab );
+                        clause2.cond = findSingleExpression( clause.cond, context );
                         clause2.stmt = clause.stmt->accept( *visitor );
 …
                         ast::ptr< ast::Type > target =
                                 new ast::BasicType{ ast::BasicType::LongLongUnsignedInt };
                         timeout2.time = findSingleExpression( stmt->timeout.time, target, symtab );
                         timeout2.cond = findSingleExpression( stmt->timeout.cond, symtab );
+                        timeout2.time = findSingleExpression( stmt->timeout.time, target, context );
+                        timeout2.cond = findSingleExpression( stmt->timeout.cond, context );
                         timeout2.stmt = stmt->timeout.stmt->accept( *visitor );
 …
                         ast::WaitForStmt::OrElse orElse2;
                         orElse2.cond = findSingleExpression( stmt->orElse.cond, symtab );
+                        orElse2.cond = findSingleExpression( stmt->orElse.cond, context );
                         orElse2.stmt = stmt->orElse.stmt->accept( *visitor );
 …
                 for (auto & expr : exprs) {
                         // only struct- and union-typed expressions are viable candidates
                         expr = findKindExpression( expr, symtab, structOrUnion, "with expression" );
+                        expr = findKindExpression( expr, context, structOrUnion, "with expression" );
                         // if with expression might be impure, create a temporary so that it is evaluated once
 …
                 ast::ptr< ast::Expr > untyped = new ast::UntypedInitExpr{
                         singleInit->location, singleInit->value, currentObject.getOptions() };
                 ast::ptr<ast::Expr> newExpr = findSingleExpression( untyped, symtab );
+                ast::ptr<ast::Expr> newExpr = findSingleExpression( untyped, context );
                 const ast::InitExpr * initExpr = newExpr.strict_as< ast::InitExpr >();

src/ResolvExpr/Resolver.h

-              ref3c383
+              rd672350
 // Author           : Richard C. Bilson
 // Created On       : Sun May 17 12:18:34 2015
 // Last Modified By : Peter A. Buhr
 // Last Modified On : Mon Feb 18 20:40:38 2019
 // Update Count     : 4
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Mar 16 11:32:00 2022
+// Update Count     : 5
 //
 …
 class Declaration;
 class Expression;
+class DeletedExpr;
 class StmtExpr;
+class Type;
 namespace SymTab {
         class Indexer;
 …
         class StmtExpr;
         class SymbolTable;
+        class TranslationGlobal;
         class TranslationUnit;
         class Type;
 …
         void resolveWithExprs( std::list< Declaration * > & translationUnit );
+        /// Helper Type: Passes around information between various sub-calls.
+        struct ResolveContext {
+                const ast::SymbolTable & symtab;
+                const ast::TranslationGlobal & global;
+        };
         /// Checks types and binds syntactic constructs to typed representations
         void resolve( ast::TranslationUnit& translationUnit );
 …
         /// context.
         ast::ptr< ast::Expr > resolveInVoidContext(
                 const ast::Expr * expr, const ast::SymbolTable & symtab, ast::TypeEnvironment & env );
+                const ast::Expr * expr, const ResolveContext &, ast::TypeEnvironment & env );
         /// Resolve `untyped` to the single expression whose candidate is the best match for the
         /// given type.
         ast::ptr< ast::Expr > findSingleExpression(
                 const ast::Expr * untyped, const ast::Type * type, const ast::SymbolTable & symtab );
+                const ast::Expr * untyped, const ast::Type * type, const ResolveContext & );
         ast::ptr< ast::Expr > findVoidExpression(
                 const ast::Expr * untyped, const ast::SymbolTable & symtab);
+                const ast::Expr * untyped, const ResolveContext & );
         /// Resolves a constructor init expression
         ast::ptr< ast::Init > resolveCtorInit(
                 const ast::ConstructorInit * ctorInit, const ast::SymbolTable & symtab );
+                const ast::ConstructorInit * ctorInit, const ResolveContext & context );
         /// Resolves a statement expression
         const ast::Expr * resolveStmtExpr(
                 const ast::StmtExpr * stmtExpr, const ast::SymbolTable & symtab );
+                const ast::StmtExpr * stmtExpr, const ResolveContext & context );
 } // namespace ResolvExpr

src/ResolvExpr/Unify.cc

ref3c383	rd672350
943	943	// check that the other type is compatible and named the same
944	944	auto otherInst = dynamic_cast< const XInstType * >( other );
945		~~this->result = otherInst && inst->name == otherInst->name~~;
	945	if (otherInst && inst->name == otherInst->name) this->result = otherInst;
946	946	return otherInst;
947	947	}

src/SymTab/Validate.cc

-              ref3c383
+              rd672350
         };
+        // These structs are the sub-sub-passes of ForallPointerDecay_old.
+        struct TraitExpander_old final {
+                void previsit( FunctionType * );
+                void previsit( StructDecl * );
+                void previsit( UnionDecl * );
+        };
+        struct AssertionFixer_old final {
+                void previsit( FunctionType * );
+                void previsit( StructDecl * );
+                void previsit( UnionDecl * );
+        };
+        struct CheckOperatorTypes_old final {
+                void previsit( ObjectDecl * );
+        };
+        struct FixUniqueIds_old final {
+                void previsit( DeclarationWithType * );
+        };
         struct ReturnChecker : public WithGuards {
                 /// Checks that return statements return nothing if their return type is void
 …
         void validate_D( std::list< Declaration * > & translationUnit ) {
-                PassVisitor<ForallPointerDecay_old> fpd;
+                {
                         Stats::Heap::newPass("validate-D");
 …
                         });
                         Stats::Time::TimeBlock("Forall Pointer Decay", [&]() {
                                 acceptAll( translationUnit, fpd ); // must happen before autogenerateRoutines, after Concurrency::applyKeywords because uniqueIds must be set on declaration before resolution
+                                decayForallPointers( translationUnit ); // must happen before autogenerateRoutines, after Concurrency::applyKeywords because uniqueIds must be set on declaration before resolution
                         });
                         Stats::Time::TimeBlock("Hoist Control Declarations", [&]() {
 …
         void decayForallPointers( std::list< Declaration * > & translationUnit ) {
+                PassVisitor<ForallPointerDecay_old> fpd;
+                acceptAll( translationUnit, fpd );
+                PassVisitor<TraitExpander_old> te;
+                acceptAll( translationUnit, te );
+                PassVisitor<AssertionFixer_old> af;
+                acceptAll( translationUnit, af );
+                PassVisitor<CheckOperatorTypes_old> cot;
+                acceptAll( translationUnit, cot );
+                PassVisitor<FixUniqueIds_old> fui;
+                acceptAll( translationUnit, fui );
+        }
+        void decayForallPointersA( std::list< Declaration * > & translationUnit ) {
+                PassVisitor<TraitExpander_old> te;
+                acceptAll( translationUnit, te );
+        }
+        void decayForallPointersB( std::list< Declaration * > & translationUnit ) {
+                PassVisitor<AssertionFixer_old> af;
+                acceptAll( translationUnit, af );
+        }
+        void decayForallPointersC( std::list< Declaration * > & translationUnit ) {
+                PassVisitor<CheckOperatorTypes_old> cot;
+                acceptAll( translationUnit, cot );
+        }
+        void decayForallPointersD( std::list< Declaration * > & translationUnit ) {
+                PassVisitor<FixUniqueIds_old> fui;
+                acceptAll( translationUnit, fui );
+        }
 …
                 PassVisitor<EnumAndPointerDecay_old> epc;
                 PassVisitor<LinkReferenceToTypes_old> lrt( indexer );
+                PassVisitor<ForallPointerDecay_old> fpd;
+                PassVisitor<TraitExpander_old> te;
+                PassVisitor<AssertionFixer_old> af;
+                PassVisitor<CheckOperatorTypes_old> cot;
+                PassVisitor<FixUniqueIds_old> fui;
                 type->accept( epc );
                 type->accept( lrt );
+                type->accept( fpd );
+                type->accept( te );
+                type->accept( af );
+                type->accept( cot );
+                type->accept( fui );
+        }
 …
+        }
+        /// Replace all traits in assertion lists with their assertions.
+        void expandTraits( std::list< TypeDecl * > & forall ) {
+                for ( TypeDecl * type : forall ) {
+                        std::list< DeclarationWithType * > asserts;
+                        asserts.splice( asserts.end(), type->assertions );
+                        // expand trait instances into their members
+                        for ( DeclarationWithType * assertion : asserts ) {
+                                if ( TraitInstType * traitInst = dynamic_cast< TraitInstType * >( assertion->get_type() ) ) {
+                                        // expand trait instance into all of its members
+                                        expandAssertions( traitInst, back_inserter( type->assertions ) );
+                                        delete traitInst;
+                                } else {
+                                        // pass other assertions through
+                                        type->assertions.push_back( assertion );
+                                } // if
+                        } // for
+                }
+        }
+        /// Fix each function in the assertion list and check for invalid void type.
+        void fixAssertions(
+                        std::list< TypeDecl * > & forall, BaseSyntaxNode * node ) {
+                for ( TypeDecl * type : forall ) {
+                        for ( DeclarationWithType *& assertion : type->assertions ) {
+                                bool isVoid = fixFunction( assertion );
+                                if ( isVoid ) {
+                                        SemanticError( node, "invalid type void in assertion of function " );
+                                } // if
+                        } // for
+                }
+        }
         void ForallPointerDecay_old::previsit( ObjectDecl * object ) {
                 // ensure that operator names only apply to functions or function pointers
 …
         void ForallPointerDecay_old::previsit( UnionDecl * aggrDecl ) {
                 forallFixer( aggrDecl->parameters, aggrDecl );
+        }
+        void TraitExpander_old::previsit( FunctionType * ftype ) {
+                expandTraits( ftype->forall );
+        }
+        void TraitExpander_old::previsit( StructDecl * aggrDecl ) {
+                expandTraits( aggrDecl->parameters );
+        }
+        void TraitExpander_old::previsit( UnionDecl * aggrDecl ) {
+                expandTraits( aggrDecl->parameters );
+        }
+        void AssertionFixer_old::previsit( FunctionType * ftype ) {
+                fixAssertions( ftype->forall, ftype );
+        }
+        void AssertionFixer_old::previsit( StructDecl * aggrDecl ) {
+                fixAssertions( aggrDecl->parameters, aggrDecl );
+        }
+        void AssertionFixer_old::previsit( UnionDecl * aggrDecl ) {
+                fixAssertions( aggrDecl->parameters, aggrDecl );
+        }
+        void CheckOperatorTypes_old::previsit( ObjectDecl * object ) {
+                // ensure that operator names only apply to functions or function pointers
+                if ( CodeGen::isOperator( object->name ) && ! dynamic_cast< FunctionType * >( object->type->stripDeclarator() ) ) {
+                        SemanticError( object->location, toCString( "operator ", object->name.c_str(), " is not a function or function pointer." )  );
+                }
+        }
+        void FixUniqueIds_old::previsit( DeclarationWithType * decl ) {
+                decl->fixUniqueId();
+        }

src/SymTab/Validate.h

-              ref3c383
+              rd672350
         void validate_F( std::list< Declaration * > &translationUnit );
         void decayForallPointers( std::list< Declaration * > & translationUnit );
+        void decayForallPointersA( std::list< Declaration * > & translationUnit );
+        void decayForallPointersB( std::list< Declaration * > & translationUnit );
+        void decayForallPointersC( std::list< Declaration * > & translationUnit );
+        void decayForallPointersD( std::list< Declaration * > & translationUnit );
         const ast::Type * validateType(

src/Tuples/TupleAssignment.cc

-              ref3c383
+              rd672350
 // Author           : Rodolfo G. Esteves
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
 // Last Modified On : Fri Dec 13 23:45:33 2019
 // Update Count     : 9
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Mar 16 14:06:00 2022
+// Update Count     : 10
 //
 …
                                         // resolve ctor/dtor for the new object
                                         ast::ptr< ast::Init > ctorInit = ResolvExpr::resolveCtorInit(
                                                         InitTweak::genCtorInit( location, ret ), spotter.crntFinder.localSyms );
+                                                        InitTweak::genCtorInit( location, ret ), spotter.crntFinder.context );
                                         // remove environments from subexpressions of stmtExpr
                                         ast::Pass< EnvRemover > rm{ env };
 …
                                         // resolve the cast expression so that rhsCand return type is bound by the cast
                                         // type as needed, and transfer the resulting environment
                                         ResolvExpr::CandidateFinder finder{ spotter.crntFinder.localSyms, env };
+                                        ResolvExpr::CandidateFinder finder( spotter.crntFinder.context, env );
                                         finder.find( rhsCand->expr, ResolvExpr::ResolvMode::withAdjustment() );
                                         assert( finder.candidates.size() == 1 );
 …
                                         // explode the LHS so that each field of a tuple-valued expr is assigned
                                         ResolvExpr::CandidateList lhs;
                                         explode( *lhsCand, crntFinder.localSyms, back_inserter(lhs), true );
+                                        explode( *lhsCand, crntFinder.context.symtab, back_inserter(lhs), true );
                                         for ( ResolvExpr::CandidateRef & cand : lhs ) {
                                                 // each LHS value must be a reference - some come in with a cast, if not
 …
                                                         if ( isTuple( rhsCand->expr ) ) {
                                                                 // multiple assignment
                                                                 explode( *rhsCand, crntFinder.localSyms, back_inserter(rhs), true );
+                                                                explode( *rhsCand, crntFinder.context.symtab, back_inserter(rhs), true );
                                                                 matcher.reset(
                                                                         new MultipleAssignMatcher{ *this, expr->location, lhs, rhs } );
 …
                                                         // multiple assignment
                                                         ResolvExpr::CandidateList rhs;
                                                         explode( rhsCand, crntFinder.localSyms, back_inserter(rhs), true );
+                                                        explode( rhsCand, crntFinder.context.symtab, back_inserter(rhs), true );
                                                         matcher.reset(
                                                                 new MultipleAssignMatcher{ *this, expr->location, lhs, rhs } );
 …
+                                )
                                 ResolvExpr::CandidateFinder finder{ crntFinder.localSyms, matcher->env };
+                                ResolvExpr::CandidateFinder finder( crntFinder.context, matcher->env );
                                 try {

src/Validate/FindSpecialDeclsNew.cpp

-              ref3c383
+              rd672350
 struct FindDeclsCore : public ast::WithShortCircuiting {
         ast::TranslationUnit::Global & global;
         FindDeclsCore( ast::TranslationUnit::Global & g ) : global( g ) {}
+        ast::TranslationGlobal & global;
+        FindDeclsCore( ast::TranslationGlobal & g ) : global( g ) {}
         void previsit( const ast::Decl * decl );
 …
         ast::Pass<FindDeclsCore>::run( translationUnit, translationUnit.global );
-        // TODO: When everything gets the globals from the translation unit,
-        // remove these.
-        ast::dereferenceOperator = translationUnit.global.dereference;
-        ast::dtorStruct = translationUnit.global.dtorStruct;
-        ast::dtorStructDestroy = translationUnit.global.dtorDestroy;
         // TODO: conditionally generate 'fake' declarations for missing features,
         // so that translation can proceed in the event that builtins, prelude,

src/Validate/module.mk

ref3c383	rd672350
20	20	Validate/CompoundLiteral.cpp \
21	21	Validate/CompoundLiteral.hpp \
	22	Validate/ForallPointerDecay.cpp \
	23	Validate/ForallPointerDecay.hpp \
22	24	Validate/HandleAttributes.cc \
23	25	Validate/HandleAttributes.h \

src/Virtual/Tables.cc

-              ref3c383
+              rd672350
 // Created On       : Mon Aug 31 11:11:00 2020
 // Last Modified By : Andrew Beach
+// Last Modified On : Wed Apr 21 15:36:00 2021
+// Update Count     : 2
+//
+// Last Modified On : Fri Mar 11 10:40:00 2022
+// Update Count     : 3
+//
+#include "AST/Attribute.hpp"
+#include "AST/Copy.hpp"
+#include "AST/Decl.hpp"
+#include "AST/Expr.hpp"
+#include "AST/Init.hpp"
+#include "AST/Stmt.hpp"
+#include "AST/Type.hpp"
 #include <SynTree/Attribute.h>
 #include <SynTree/Declaration.h>
 …
+}
+static ast::ObjectDecl * makeVtableDeclaration(
+                CodeLocation const & location, std::string const & name,
+                ast::StructInstType const * type, ast::Init const * init ) {
+        ast::Storage::Classes storage;
+        if ( nullptr == init ) {
+                storage.is_extern = true;
+        }
+        return new ast::ObjectDecl(
+                location,
+                name,
+                type,
+                init,
+                storage,
+                ast::Linkage::Cforall
+        );
+}
 ObjectDecl * makeVtableForward( std::string const & name, StructInstType * type ) {
         assert( type );
         return makeVtableDeclaration( name, type, nullptr );
+}
+ast::ObjectDecl * makeVtableForward(
+                CodeLocation const & location, std::string const & name,
+                ast::StructInstType const * vtableType ) {
+        assert( vtableType );
+        return makeVtableDeclaration( location, name, vtableType, nullptr );
+}
 …
+}
+static std::vector<ast::ptr<ast::Init>> buildInits(
+                CodeLocation const & location,
+                //std::string const & name,
+                ast::StructInstType const * vtableType,
+                ast::Type const * objectType ) {
+        ast::StructDecl const * vtableStruct = vtableType->base;
+        std::vector<ast::ptr<ast::Init>> inits;
+        inits.reserve( vtableStruct->members.size() );
+        // This is designed to run before the resolver.
+        for ( auto field : vtableStruct->members ) {
+                if ( std::string( "parent" ) == field->name ) {
+                        // This will not work with polymorphic state.
+                        auto oField = field.strict_as<ast::ObjectDecl>();
+                        auto fieldType = oField->type.strict_as<ast::PointerType>();
+                        auto parentType = fieldType->base.strict_as<ast::StructInstType>();
+                        std::string const & parentInstance = instanceName( parentType->name );
+                        inits.push_back(
+                                        new ast::SingleInit( location, new ast::AddressExpr( new ast::NameExpr( location, parentInstance ) ) ) );
+                } else if ( std::string( "__cfavir_typeid" ) == field->name ) {
+                        std::string const & baseType = baseTypeName( vtableType->name );
+                        std::string const & typeId = typeIdName( baseType );
+                        inits.push_back( new ast::SingleInit( location, new ast::AddressExpr( new ast::NameExpr( location, typeId ) ) ) );
+                } else if ( std::string( "size" ) == field->name ) {
+                        inits.push_back( new ast::SingleInit( location, new ast::SizeofExpr( location, objectType )
+                        ) );
+                } else if ( std::string( "align" ) == field->name ) {
+                        inits.push_back( new ast::SingleInit( location,
+                                new ast::AlignofExpr( location, objectType )
+                        ) );
+                } else {
+                        inits.push_back( new ast::SingleInit( location,
+                                new ast::NameExpr( location, field->name )
+                        ) );
+                }
+                //ast::Expr * expr = buildInitExpr(...);
+                //inits.push_back( new ast::SingleInit( location, expr ) )
+        }
+        return inits;
+}
+ast::ObjectDecl * makeVtableInstance(
+                CodeLocation const & location,
+                std::string const & name,
+                ast::StructInstType const * vtableType,
+                ast::Type const * objectType,
+                ast::Init const * init ) {
+        assert( vtableType );
+        assert( objectType );
+        // Build the initialization.
+        if ( nullptr == init ) {
+                init = new ast::ListInit( location,
+                        buildInits( location, vtableType, objectType ) );
+        // The provided init should initialize everything except the parent
+        // pointer, the size-of and align-of fields. These should be inserted.
+        } else {
+                // Except this is not yet supported.
+                assert(false);
+        }
+        return makeVtableDeclaration( location, name, vtableType, init );
+}
 namespace {
         std::string const functionName = "get_exception_vtable";
 …
                 new ReferenceType( noQualifiers, vtableType ),
                 nullptr,
         { new Attribute("unused") }
+                { new Attribute("unused") }
         ) );
         type->parameters.push_back( new ObjectDecl(
 …
                 type,
                 nullptr
+        );
+}
+ast::FunctionDecl * makeGetExceptionForward(
+                CodeLocation const & location,
+                ast::Type const * vtableType,
+                ast::Type const * exceptType ) {
+        assert( vtableType );
+        assert( exceptType );
+        return new ast::FunctionDecl(
+                location,
+                functionName,
+                { /* forall */ },
+                { new ast::ObjectDecl(
+                        location,
+                        "__unused",
+                        new ast::PointerType( exceptType )
+                ) },
+                { new ast::ObjectDecl(
+                        location,
+                        "_retvalue",
+                        new ast::ReferenceType( vtableType )
+                ) },
+                nullptr,
+                ast::Storage::Classes(),
+                ast::Linkage::Cforall,
+                { new ast::Attribute( "unused" ) }
         );
+}
 …
+}
+ast::FunctionDecl * makeGetExceptionFunction(
+                CodeLocation const & location,
+                ast::ObjectDecl const * vtableInstance, ast::Type const * exceptType ) {
+        assert( vtableInstance );
+        assert( exceptType );
+        ast::FunctionDecl * func = makeGetExceptionForward(
+                        location, ast::deepCopy( vtableInstance->type ), exceptType );
+        func->stmts = new ast::CompoundStmt( location, {
+                new ast::ReturnStmt( location, new ast::VariableExpr( location, vtableInstance ) )
+        } );
+        return func;
+}
 ObjectDecl * makeTypeIdInstance( StructInstType const * typeIdType ) {
         assert( typeIdType );
 …
+}
+}
+ast::ObjectDecl * makeTypeIdInstance(
+                CodeLocation const & location,
+                ast::StructInstType const * typeIdType ) {
+        assert( typeIdType );
+        ast::StructInstType * type = ast::mutate( typeIdType );
+        type->set_const( true );
+        std::string const & typeid_name = typeIdTypeToInstance( typeIdType->name );
+        return new ast::ObjectDecl(
+                location,
+                typeid_name,
+                type,
+                new ast::ListInit( location, {
+                        new ast::SingleInit( location,
+                                new ast::AddressExpr( location,
+                                        new ast::NameExpr( location, "__cfatid_exception_t" ) ) )
+                } ),
+                ast::Storage::Classes(),
+                ast::Linkage::Cforall,
+                nullptr,
+                { new ast::Attribute( "cfa_linkonce" ) }
+        );
+}
+}

src/Virtual/Tables.h

-              ref3c383
+              rd672350
 // Created On       : Mon Aug 31 11:07:00 2020
 // Last Modified By : Andrew Beach
 // Last Modified On : Wed Apr 21 10:30:00 2021
 // Update Count     : 2
+// Last Modified On : Wec Dec  8 16:58:00 2021
+// Update Count     : 3
 //
 #include <list>  // for list
+#include <string>
+#include "AST/Fwd.hpp"
 class Declaration;
 class StructDecl;
 …
  * vtableType node is consumed.
  */
+ast::ObjectDecl * makeVtableForward(
+        CodeLocation const & location, std::string const & name,
+        ast::StructInstType const * vtableType );
 ObjectDecl * makeVtableInstance(
 …
  * vtableType and init (if provided) nodes are consumed.
  */
+ast::ObjectDecl * makeVtableInstance(
+        CodeLocation const & location,
+        std::string const & name,
+        ast::StructInstType const * vtableType,
+        ast::Type const * objectType,
+        ast::Init const * init = nullptr );
 // Some special code for how exceptions interact with virtual tables.
 …
  * linking the vtableType to the exceptType. Both nodes are consumed.
  */
+ast::FunctionDecl * makeGetExceptionForward(
+        CodeLocation const & location,
+        ast::Type const * vtableType,
+        ast::Type const * exceptType );
 FunctionDecl * makeGetExceptionFunction(
 …
  * exceptType node is consumed.
  */
+ast::FunctionDecl * makeGetExceptionFunction(
+        CodeLocation const & location,
+        ast::ObjectDecl const * vtableInstance, ast::Type const * exceptType );
 ObjectDecl * makeTypeIdInstance( StructInstType const * typeIdType );
 …
  * TODO: Should take the parent type. Currently locked to the exception_t.
  */
+ast::ObjectDecl * makeTypeIdInstance(
+        const CodeLocation & location, ast::StructInstType const * typeIdType );
+}

src/main.cc

-              ref3c383
+              rd672350
 // Created On       : Fri May 15 23:12:02 2015
 // Last Modified By : Andrew Beach
 // Last Modified On : Wed Jan 26 14:09:00 2022
 // Update Count     : 670
+// Last Modified On : Fri Mar 11 10:39:00 2022
+// Update Count     : 671
 //
 …
 #include "Validate/Autogen.hpp"             // for autogenerateRoutines
 #include "Validate/FindSpecialDecls.h"      // for findGlobalDecls
+#include "Validate/ForallPointerDecay.hpp"  // for decayForallPointers
 #include "Validate/CompoundLiteral.hpp"     // for handleCompoundLiterals
 #include "Validate/InitializerLength.hpp"   // for setLengthFromInitializer
 …
                 if( useNewAST ) {
-                        PASS( "Apply Concurrent Keywords", Concurrency::applyKeywords( translationUnit ) );
-                        PASS( "Forall Pointer Decay", SymTab::decayForallPointers( translationUnit ) );
                         CodeTools::fillLocations( translationUnit );
 …
                         forceFillCodeLocations( transUnit );
+                        PASS( "Implement Concurrent Keywords", Concurrency::implementKeywords( transUnit ) );
+                        // Must be after implement concurrent keywords; because uniqueIds
+                        //   must be set on declaration before resolution.
+                        // Must happen before autogen routines are added.
+                        PASS( "Forall Pointer Decay", Validate::decayForallPointers( transUnit ) );
                         // Must happen before autogen routines are added.
 …
                         PASS( "Translate Tries" , ControlStruct::translateTries( translationUnit ) );
+                }
                 PASS( "Gen Waitfor" , Concurrency::generateWaitFor( translationUnit ) );

Context Navigation

Legend:

src/AST/Convert.cpp

src/AST/Decl.cpp

src/AST/Fwd.hpp

src/AST/GenericSubstitution.cpp

src/AST/TranslationUnit.hpp

src/AST/TypeSubstitution.hpp

src/AST/module.mk

src/Common/CodeLocationTools.cpp

src/Common/CodeLocationTools.hpp

src/Common/Examine.cc

src/Common/Examine.h

src/Concurrency/Keywords.cc

src/Concurrency/KeywordsNew.cpp

src/ControlStruct/ExceptTranslateNew.cpp

src/InitTweak/FixGlobalInit.cc

src/InitTweak/FixInitNew.cpp

src/Parser/parser.yy

src/ResolvExpr/CandidateFinder.cpp

src/ResolvExpr/CandidateFinder.hpp

src/ResolvExpr/CandidatePrinter.cpp

src/ResolvExpr/ResolveTypeof.cc

src/ResolvExpr/ResolveTypeof.h

src/ResolvExpr/Resolver.cc

src/ResolvExpr/Resolver.h

src/ResolvExpr/Unify.cc

src/SymTab/Validate.cc

src/SymTab/Validate.h

src/Tuples/TupleAssignment.cc

src/Validate/FindSpecialDeclsNew.cpp

src/Validate/module.mk

src/Virtual/Tables.cc

src/Virtual/Tables.h

src/main.cc

Download in other formats: