projects/ldc: dmd2/func.c annotate

author	Robert Clipsham <robert@octarineparrot.com>
date	Sat, 30 May 2009 17:23:32 +0100
parents	03d7c4aac654
children	7d1e815b4f76

rev	line source
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	1 // Compiler implementation of the D programming language
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	2 // Copyright (c) 1999-2008 by Digital Mars
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	3 // All Rights Reserved
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	4 // written by Walter Bright
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	5 // http://www.digitalmars.com
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	6 // License for redistribution is by either the Artistic License
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	7 // in artistic.txt, or the GNU General Public License in gnu.txt.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	8 // See the included readme.txt for details.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	9
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	10 #include <stdio.h>
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	11 #include <assert.h>
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	12
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	13 #include "mars.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	14 #include "init.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	15 #include "declaration.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	16 #include "attrib.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	17 #include "expression.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	18 #include "scope.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	19 #include "mtype.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	20 #include "aggregate.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	21 #include "identifier.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	22 #include "id.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	23 #include "module.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	24 #include "statement.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	25 #include "template.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	26 #include "hdrgen.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	27
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	28 #ifdef IN_GCC
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	29 #include "d-dmd-gcc.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	30 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	31
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	32 /******************************* FuncDeclaration **************************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	33
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	34 FuncDeclaration::FuncDeclaration(Loc loc, Loc endloc, Identifier id, enum STC storage_class, Type type)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	35 : Declaration(id)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	36 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	37 //printf("FuncDeclaration(id = '%s', type = %p)\n", id->toChars(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	38 //printf("storage_class = x%x\n", storage_class);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	39 this->storage_class = storage_class;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	40 this->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	41 this->loc = loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	42 this->endloc = endloc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	43 fthrows = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	44 frequire = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	45 outId = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	46 vresult = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	47 returnLabel = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	48 fensure = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	49 fbody = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	50 localsymtab = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	51 vthis = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	52 v_arguments = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	53 #if IN_GCC
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	54 v_argptr = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	55 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	56 parameters = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	57 labtab = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	58 overnext = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	59 vtblIndex = -1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	60 hasReturnExp = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	61 naked = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	62 inlineStatus = ILSuninitialized;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	63 inlineNest = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	64 inlineAsm = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	65 cantInterpret = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	66 semanticRun = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	67 fes = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	68 introducing = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	69 tintro = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	70 /* The type given for "infer the return type" is a TypeFunction with
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	71 * NULL for the return type.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	72 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	73 inferRetType = (type && type->nextOf() == NULL);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	74 scope = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	75 hasReturnExp = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	76 nrvo_can = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	77 nrvo_var = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	78 #if IN_DMD
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	79 shidden = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	80 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	81
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	82 builtin = BUILTINunknown;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	83 tookAddressOf = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	84
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	85 #if IN_LLVM
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	86 // LDC
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	87 isArrayOp = false;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	88 allowInlining = false;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	89
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	90 // function types in ldc don't merge if the context parameter differs
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	91 // so we actually don't care about the function declaration, but only
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	92 // what kind of context parameter it has.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	93 // however, this constructor is usually called from the parser, which
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	94 // unfortunately doesn't provide the information needed to get to the
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	95 // aggregate type. So we have to stick with the FuncDeclaration and
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	96 // just be sure we don't actually rely on the symbol it points to,
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	97 // but rather just the type of its context parameter.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	98 // this means some function might have a function type pointing to
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	99 // another function declaration
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	100
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	101 if (type)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	102 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	103 assert(type->ty == Tfunction && "invalid function type");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	104 TypeFunction* tf = (TypeFunction*)type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	105 if (tf->funcdecl == NULL)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	106 tf->funcdecl = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	107 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	108 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	109 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	110
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	111 Dsymbol FuncDeclaration::syntaxCopy(Dsymbol s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	112 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	113 FuncDeclaration *f;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	114
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	115 //printf("FuncDeclaration::syntaxCopy('%s')\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	116 if (s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	117 f = (FuncDeclaration *)s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	118 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	119 f = new FuncDeclaration(loc, endloc, ident, (enum STC) storage_class, type->syntaxCopy());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	120 f->outId = outId;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	121 f->frequire = frequire ? frequire->syntaxCopy() : NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	122 f->fensure = fensure ? fensure->syntaxCopy() : NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	123 f->fbody = fbody ? fbody->syntaxCopy() : NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	124 assert(!fthrows); // deprecated
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	125
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	126 // LDC
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	127 f->intrinsicName = intrinsicName;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	128
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	129 return f;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	130 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	131
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	132
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	133 // Do the semantic analysis on the external interface to the function.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	134
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	135 void FuncDeclaration::semantic(Scope *sc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	136 { TypeFunction *f;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	137 StructDeclaration *sd;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	138 ClassDeclaration *cd;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	139 InterfaceDeclaration *id;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	140 Dsymbol *pd;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	141
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	142 #if 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	143 printf("FuncDeclaration::semantic(sc = %p, this = %p, '%s', linkage = %d)\n", sc, this, toPrettyChars(), sc->linkage);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	144 if (isFuncLiteralDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	145 printf("\tFuncLiteralDeclaration()\n");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	146 printf("sc->parent = %s, parent = %s\n", sc->parent->toChars(), parent ? parent->toChars() : "");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	147 printf("type: %p, %s\n", type, type->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	148 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	149
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	150 if (semanticRun && isFuncLiteralDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	151 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	152 /* Member functions that have return types that are
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	153 * forward references can have semantic() run more than
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	154 * once on them.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	155 * See test\interface2.d, test20
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	156 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	157 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	158 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	159 assert(semanticRun <= 1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	160 semanticRun = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	161
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	162 storage_class \|= sc->stc & ~STCref;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	163 //printf("function storage_class = x%x\n", storage_class);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	164
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	165 if (!originalType)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	166 originalType = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	167 if (!type->deco && type->nextOf())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	168 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	169 /* Apply const and invariant storage class
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	170 * to the function type
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	171 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	172 type = type->semantic(loc, sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	173 unsigned stc = storage_class;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	174 if (type->isInvariant())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	175 stc \|= STCimmutable;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	176 if (type->isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	177 stc \|= STCconst;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	178 if (type->isShared())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	179 stc \|= STCshared;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	180 switch (stc & STC_TYPECTOR)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	181 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	182 case STCimmutable:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	183 case STCimmutable \| STCconst:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	184 case STCimmutable \| STCconst \| STCshared:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	185 case STCimmutable \| STCshared:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	186 // Don't use toInvariant(), as that will do a merge()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	187 type = type->makeInvariant();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	188 type->deco = type->merge()->deco;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	189 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	190
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	191 case STCconst:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	192 type = type->makeConst();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	193 type->deco = type->merge()->deco;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	194 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	195
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	196 case STCshared \| STCconst:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	197 type = type->makeSharedConst();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	198 type->deco = type->merge()->deco;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	199 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	200
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	201 case STCshared:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	202 type = type->makeShared();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	203 type->deco = type->merge()->deco;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	204 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	205
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	206 case 0:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	207 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	208
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	209 default:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	210 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	211 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	212 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	213 //type->print();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	214 if (type->ty != Tfunction)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	215 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	216 error("%s must be a function", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	217 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	218 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	219 f = (TypeFunction *)(type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	220
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	221 size_t nparams = Argument::dim(f->parameters);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	222
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	223 linkage = sc->linkage;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	224 // if (!parent)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	225 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	226 //parent = sc->scopesym;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	227 parent = sc->parent;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	228 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	229 protection = sc->protection;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	230 Dsymbol *parent = toParent();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	231
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	232 if (storage_class & STCscope)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	233 error("functions cannot be scope");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	234
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	235 if (isAbstract() && !isVirtual())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	236 error("non-virtual functions cannot be abstract");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	237
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	238 if ((f->isConst() \|\| f->isInvariant()) && !isThis())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	239 error("without 'this' cannot be const/immutable");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	240
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	241 if (isAbstract() && isFinal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	242 error("cannot be both final and abstract");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	243 #if 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	244 if (isAbstract() && fbody)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	245 error("abstract functions cannot have bodies");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	246 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	247
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	248 #if 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	249 if (isStaticConstructor() \|\| isStaticDestructor())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	250 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	251 if (!isStatic() \|\| type->nextOf()->ty != Tvoid)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	252 error("static constructors / destructors must be static void");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	253 if (f->arguments && f->arguments->dim)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	254 error("static constructors / destructors must have empty parameter list");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	255 // BUG: check for invalid storage classes
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	256 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	257 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	258
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	259 #ifdef IN_GCC
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	260 AggregateDeclaration *ad;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	261
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	262 ad = parent->isAggregateDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	263 if (ad)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	264 ad->methods.push(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	265 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	266 sd = parent->isStructDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	267 if (sd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	268 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	269 if (isCtorDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	270 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	271 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	272 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	273 #if 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	274 // Verify no constructors, destructors, etc.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	275 if (isCtorDeclaration()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	276 //\|\|isDtorDeclaration()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	277 //\|\| isInvariantDeclaration()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	278 //\|\| isUnitTestDeclaration()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	279 )
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	280 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	281 error("special member functions not allowed for %ss", sd->kind());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	282 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	283
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	284 if (!sd->inv)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	285 sd->inv = isInvariantDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	286
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	287 if (!sd->aggNew)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	288 sd->aggNew = isNewDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	289
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	290 if (isDelete())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	291 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	292 if (sd->aggDelete)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	293 error("multiple delete's for struct %s", sd->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	294 sd->aggDelete = (DeleteDeclaration *)(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	295 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	296 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	297 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	298
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	299 id = parent->isInterfaceDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	300 if (id)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	301 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	302 storage_class \|= STCabstract;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	303
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	304 if (isCtorDeclaration() \|\|
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	305 isPostBlitDeclaration() \|\|
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	306 isDtorDeclaration() \|\|
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	307 isInvariantDeclaration() \|\|
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	308 isUnitTestDeclaration() \|\| isNewDeclaration() \|\| isDelete())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	309 error("special function not allowed in interface %s", id->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	310 if (fbody)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	311 error("function body is not abstract in interface %s", id->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	312 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	313
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	314 /* Template member functions aren't virtual:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	315 * interface TestInterface { void tpl(T)(); }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	316 * and so won't work in interfaces
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	317 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	318 if ((pd = toParent()) != NULL &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	319 pd->isTemplateInstance() &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	320 (pd = toParent2()) != NULL &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	321 (id = pd->isInterfaceDeclaration()) != NULL)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	322 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	323 error("template member function not allowed in interface %s", id->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	324 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	325
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	326 cd = parent->isClassDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	327 if (cd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	328 { int vi;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	329 CtorDeclaration *ctor;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	330 DtorDeclaration *dtor;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	331 InvariantDeclaration *inv;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	332
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	333 if (isCtorDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	334 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	335 // ctor = (CtorDeclaration *)this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	336 // if (!cd->ctor)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	337 // cd->ctor = ctor;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	338 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	339 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	340
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	341 #if 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	342 dtor = isDtorDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	343 if (dtor)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	344 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	345 if (cd->dtor)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	346 error("multiple destructors for class %s", cd->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	347 cd->dtor = dtor;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	348 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	349
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	350 inv = isInvariantDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	351 if (inv)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	352 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	353 cd->inv = inv;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	354 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	355
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	356 if (isNewDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	357 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	358 if (!cd->aggNew)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	359 cd->aggNew = (NewDeclaration *)(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	360 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	361
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	362 if (isDelete())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	363 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	364 if (cd->aggDelete)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	365 error("multiple delete's for class %s", cd->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	366 cd->aggDelete = (DeleteDeclaration *)(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	367 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	368 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	369
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	370 if (storage_class & STCabstract)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	371 cd->isabstract = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	372
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	373 // if static function, do not put in vtbl[]
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	374 if (!isVirtual())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	375 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	376 //printf("\tnot virtual\n");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	377 goto Ldone;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	378 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	379
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	380 // Find index of existing function in vtbl[] to override
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	381 vi = findVtblIndex(&cd->vtbl, cd->baseClass ? cd->baseClass->vtbl.dim : 0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	382 switch (vi)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	383 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	384 case -1:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	385 /* Didn't find one, so
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	386 * This is an 'introducing' function which gets a new
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	387 * slot in the vtbl[].
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	388 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	389
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	390 // Verify this doesn't override previous final function
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	391 if (cd->baseClass)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	392 { Dsymbol *s = cd->baseClass->search(loc, ident, 0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	393 if (s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	394 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	395 FuncDeclaration *f = s->isFuncDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	396 f = f->overloadExactMatch(type, getModule());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	397 if (f && f->isFinal() && f->prot() != PROTprivate)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	398 error("cannot override final function %s", f->toPrettyChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	399 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	400 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	401
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	402 if (isFinal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	403 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	404 if (isOverride())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	405 error("does not override any function");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	406 cd->vtblFinal.push(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	407 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	408 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	409 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	410 // Append to end of vtbl[]
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	411 //printf("\tintroducing function\n");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	412 introducing = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	413 vi = cd->vtbl.dim;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	414 cd->vtbl.push(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	415 vtblIndex = vi;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	416 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	417 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	418
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	419 case -2: // can't determine because of fwd refs
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	420 cd->sizeok = 2; // can't finish due to forward reference
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	421 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	422
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	423 default:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	424 { FuncDeclaration fdv = (FuncDeclaration )cd->vtbl.data[vi];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	425 // This function is covariant with fdv
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	426 if (fdv->isFinal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	427 error("cannot override final function %s", fdv->toPrettyChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	428
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	429 #if DMDV2
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	430 if (!isOverride())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	431 warning(loc, "overrides base class function %s, but is not marked with 'override'", fdv->toPrettyChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	432 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	433
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	434 if (fdv->toParent() == parent)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	435 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	436 // If both are mixins, then error.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	437 // If either is not, the one that is not overrides
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	438 // the other.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	439 if (fdv->parent->isClassDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	440 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	441 if (!this->parent->isClassDeclaration()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	442 #if !BREAKABI
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	443 && !isDtorDeclaration()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	444 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	445 #if DMDV2
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	446 && !isPostBlitDeclaration()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	447 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	448 )
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	449 error("multiple overrides of same function");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	450 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	451 cd->vtbl.data[vi] = (void *)this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	452 vtblIndex = vi;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	453
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	454 /* This works by whenever this function is called,
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	455 * it actually returns tintro, which gets dynamically
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	456 * cast to type. But we know that tintro is a base
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	457 * of type, so we could optimize it by not doing a
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	458 * dynamic cast, but just subtracting the isBaseOf()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	459 * offset if the value is != null.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	460 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	461
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	462 if (fdv->tintro)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	463 tintro = fdv->tintro;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	464 else if (!type->equals(fdv->type))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	465 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	466 /* Only need to have a tintro if the vptr
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	467 * offsets differ
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	468 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	469 int offset;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	470 if (fdv->type->nextOf()->isBaseOf(type->nextOf(), &offset))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	471 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	472 tintro = fdv->type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	473 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	474 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	475 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	476 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	477 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	478
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	479 /* Go through all the interface bases.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	480 * If this function is covariant with any members of those interface
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	481 * functions, set the tintro.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	482 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	483 for (int i = 0; i < cd->interfaces_dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	484 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	485 BaseClass *b = cd->interfaces[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	486 vi = findVtblIndex(&b->base->vtbl, b->base->vtbl.dim);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	487 switch (vi)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	488 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	489 case -1:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	490 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	491
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	492 case -2:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	493 cd->sizeok = 2; // can't finish due to forward reference
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	494 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	495
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	496 default:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	497 { FuncDeclaration fdv = (FuncDeclaration )b->base->vtbl.data[vi];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	498 Type *ti = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	499
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 945 diff changeset	500 if (fdv->tintro)

1452

638d16625da2 LDC 2 compiles again.