Ignore:
Timestamp:
May 30, 2019, 4:10:24 PM (5 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
8d70648
Parents:
eba615c
Message:

Stubs for new resolver, implementation of new indexer, type environment

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/InitTweak/InitTweak.cc

    reba615c rd76c588  
    756756        }
    757757
     758        bool isCopyFunction( const ast::FunctionDecl * decl ) {
     759                const ast::FunctionType * ftype = decl->type;
     760                if ( ftype->params.size() != 2 ) return false;
     761
     762                const ast::Type * t1 = getPointerBase( ftype->params.front()->get_type() );
     763                if ( ! t1 ) return false;
     764                const ast::Type * t2 = ftype->params.back()->get_type();
     765               
     766                return ResolvExpr::typesCompatibleIgnoreQualifiers( t1, t2, ast::SymbolTable{} );
     767        }
     768
    758769        FunctionDecl * isAssignment( Declaration * decl ) {
    759770                return isCopyFunction( decl, "?=?" );
Note: See TracChangeset for help on using the changeset viewer.