projects/ldc: dmd2/declaration.c annotate

annotate dmd2/declaration.c @ 1518:26d061e61b02

Initialize LLVM target and asmprinter for the native and extra targets. Uses some CMake hackery to get the native LLVM target name, since it only provides a conveniance function for initializing the native target and not the native asmprinter.

author	Christian Kamm <kamm incasoftware de>
date	Fri, 26 Jun 2009 21:02:23 +0200
parents	f62347c22d81
children	54b3c1394d62

rev	line source
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	2 // Compiler implementation of the D programming language
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	3 // Copyright (c) 1999-2009 by Digital Mars
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	4 // All Rights Reserved
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	5 // written by Walter Bright
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	6 // http://www.digitalmars.com
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	7 // License for redistribution is by either the Artistic License
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	8 // in artistic.txt, or the GNU General Public License in gnu.txt.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	9 // See the included readme.txt for details.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	10
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	11 #include <stdio.h>
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	12 #include <assert.h>
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	13
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	14 #include "init.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	15 #include "declaration.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	16 #include "attrib.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	17 #include "mtype.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	18 #include "template.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	19 #include "scope.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	20 #include "aggregate.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	21 #include "module.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	22 #include "id.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	23 #include "expression.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	24 #include "hdrgen.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	25
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	26 /******************************* Declaration **************************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	27
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	28 Declaration::Declaration(Identifier *id)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	29 : Dsymbol(id)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	30 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	31 type = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	32 originalType = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	33 storage_class = STCundefined;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	34 protection = PROTundefined;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	35 linkage = LINKdefault;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	36 inuse = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	37 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	38
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	39 void Declaration::semantic(Scope *sc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	40 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	41 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	42
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	43 const char *Declaration::kind()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	44 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	45 return "declaration";
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	46 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	47
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	48 unsigned Declaration::size(Loc loc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	49 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	50 assert(type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	51 return type->size();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	52 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	53
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	54 int Declaration::isStaticConstructor()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	55 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	56 return FALSE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	57 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	58
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	59 int Declaration::isStaticDestructor()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	60 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	61 return FALSE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	62 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	63
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	64 int Declaration::isDelete()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	65 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	66 return FALSE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	67 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	68
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	69 int Declaration::isDataseg()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	70 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	71 return FALSE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	72 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	73
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	74 int Declaration::isThreadlocal()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	75 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	76 return FALSE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	77 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	78
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	79 int Declaration::isCodeseg()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	80 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	81 return FALSE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	82 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	83
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	84 enum PROT Declaration::prot()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	85 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	86 return protection;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	87 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	88
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	89 /*************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	90 * Check to see if declaration can be modified in this context (sc).
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	91 * Issue error if not.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	92 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	93
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	94 #if DMDV2
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	95 void Declaration::checkModify(Loc loc, Scope sc, Type t)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	96 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	97 if (sc->incontract && isParameter())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	98 error(loc, "cannot modify parameter '%s' in contract", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	99
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	100 if (isCtorinit())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	101 { // It's only modifiable if inside the right constructor
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	102 Dsymbol *s = sc->func;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	103 while (1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	104 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	105 FuncDeclaration *fd = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	106 if (s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	107 fd = s->isFuncDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	108 if (fd &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	109 ((fd->isCtorDeclaration() && storage_class & STCfield) \|\|
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	110 (fd->isStaticCtorDeclaration() && !(storage_class & STCfield))) &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	111 fd->toParent() == toParent()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	112 )
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	113 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	114 VarDeclaration *v = isVarDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	115 assert(v);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	116 v->ctorinit = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	117 //printf("setting ctorinit\n");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	118 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	119 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	120 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	121 if (s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	122 { s = s->toParent2();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	123 continue;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	124 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	125 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	126 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	127 const char *p = isStatic() ? "static " : "";
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	128 error(loc, "can only initialize %sconst %s inside %sconstructor",
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	129 p, toChars(), p);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	130 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	131 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	132 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	133 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	134 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	135 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	136 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	137 VarDeclaration *v = isVarDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	138 if (v && v->canassign == 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	139 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	140 const char *p = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	141 if (isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	142 p = "const";
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	143 else if (isInvariant())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	144 p = "mutable";
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	145 else if (storage_class & STCmanifest)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	146 p = "enum";
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	147 else if (!t->isAssignable())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	148 p = "struct with immutable members";
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	149 if (p)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	150 { error(loc, "cannot modify %s", p);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	151 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	152 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	153 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	154 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	155 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	156
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	157
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	158 /******************************* TupleDeclaration **************************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	159
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	160 TupleDeclaration::TupleDeclaration(Loc loc, Identifier id, Objects objects)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	161 : Declaration(id)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	162 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	163 this->type = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	164 this->objects = objects;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	165 this->isexp = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	166 this->tupletype = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	167 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	168
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	169 Dsymbol TupleDeclaration::syntaxCopy(Dsymbol s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	170 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	171 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	172 return NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	173 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	174
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	175 const char *TupleDeclaration::kind()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	176 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	177 return "tuple";
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	178 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	179
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	180 Type *TupleDeclaration::getType()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	181 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	182 /* If this tuple represents a type, return that type
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	183 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	184
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	185 //printf("TupleDeclaration::getType() %s\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	186 if (isexp)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	187 return NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	188 if (!tupletype)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	189 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	190 /* It's only a type tuple if all the Object's are types
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	191 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	192 for (size_t i = 0; i < objects->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	193 { Object o = (Object )objects->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	194
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	195 if (o->dyncast() != DYNCAST_TYPE)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	196 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	197 //printf("\tnot[%d], %p, %d\n", i, o, o->dyncast());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	198 return NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	199 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	200 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	201
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	202 /* We know it's a type tuple, so build the TypeTuple
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	203 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	204 Arguments *args = new Arguments();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	205 args->setDim(objects->dim);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	206 OutBuffer buf;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	207 for (size_t i = 0; i < objects->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	208 { Type t = (Type )objects->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	209
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	210 //printf("type = %s\n", t->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	211 #if 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	212 buf.printf("_%s_%d", ident->toChars(), i);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	213 char name = (char )buf.extractData();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	214 Identifier *id = new Identifier(name, TOKidentifier);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	215 Argument *arg = new Argument(STCin, t, id, NULL);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	216 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	217 Argument *arg = new Argument(0, t, NULL, NULL);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	218 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	219 args->data[i] = (void *)arg;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	220 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	221
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	222 tupletype = new TypeTuple(args);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	223 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	224
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	225 return tupletype;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	226 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	227
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	228 int TupleDeclaration::needThis()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	229 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	230 //printf("TupleDeclaration::needThis(%s)\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	231 for (size_t i = 0; i < objects->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	232 { Object o = (Object )objects->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	233 if (o->dyncast() == DYNCAST_EXPRESSION)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	234 { Expression e = (Expression )o;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	235 if (e->op == TOKdsymbol)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	236 { DsymbolExp ve = (DsymbolExp )e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	237 Declaration *d = ve->s->isDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	238 if (d && d->needThis())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	239 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	240 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	241 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	242 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	243 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	244 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	245 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	246 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	247
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	248 /******************************* TypedefDeclaration **************************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	249
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	250 TypedefDeclaration::TypedefDeclaration(Loc loc, Identifier id, Type basetype, Initializer *init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	251 : Declaration(id)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	252 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	253 this->type = new TypeTypedef(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	254 this->basetype = basetype->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	255 this->init = init;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	256 #ifdef _DH
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	257 this->htype = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	258 this->hbasetype = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	259 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	260 this->sem = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	261 this->loc = loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	262 #if IN_DMD
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	263 this->sinit = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	264 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	265 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	266
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	267 Dsymbol TypedefDeclaration::syntaxCopy(Dsymbol s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	268 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	269 Type *basetype = this->basetype->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	270
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	271 Initializer *init = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	272 if (this->init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	273 init = this->init->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	274
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	275 assert(!s);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	276 TypedefDeclaration *st;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	277 st = new TypedefDeclaration(loc, ident, basetype, init);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	278 #ifdef _DH
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	279 // Syntax copy for header file
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	280 if (!htype) // Don't overwrite original
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	281 { if (type) // Make copy for both old and new instances
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	282 { htype = type->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	283 st->htype = type->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	284 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	285 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	286 else // Make copy of original for new instance
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	287 st->htype = htype->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	288 if (!hbasetype)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	289 { if (basetype)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	290 { hbasetype = basetype->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	291 st->hbasetype = basetype->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	292 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	293 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	294 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	295 st->hbasetype = hbasetype->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	296 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	297 return st;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	298 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	299
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	300 void TypedefDeclaration::semantic(Scope *sc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	301 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	302 //printf("TypedefDeclaration::semantic(%s) sem = %d\n", toChars(), sem);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	303 if (sem == 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	304 { sem = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	305 basetype = basetype->semantic(loc, sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	306 sem = 2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	307 type = type->semantic(loc, sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	308 if (sc->parent->isFuncDeclaration() && init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	309 semantic2(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	310 storage_class \|= sc->stc & STCdeprecated;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	311 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	312 else if (sem == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	313 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	314 error("circular definition");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	315 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	316 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	317
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	318 void TypedefDeclaration::semantic2(Scope *sc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	319 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	320 //printf("TypedefDeclaration::semantic2(%s) sem = %d\n", toChars(), sem);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	321 if (sem == 2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	322 { sem = 3;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	323 if (init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	324 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	325 init = init->semantic(sc, basetype);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	326
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	327 ExpInitializer *ie = init->isExpInitializer();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	328 if (ie)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	329 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	330 if (ie->exp->type == basetype)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	331 ie->exp->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	332 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	333 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	334 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	335 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	336
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	337 const char *TypedefDeclaration::kind()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	338 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	339 return "typedef";
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	340 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	341
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	342 Type *TypedefDeclaration::getType()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	343 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	344 return type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	345 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	346
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	347 void TypedefDeclaration::toCBuffer(OutBuffer buf, HdrGenState hgs)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	348 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	349 buf->writestring("typedef ");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	350 basetype->toCBuffer(buf, ident, hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	351 if (init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	352 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	353 buf->writestring(" = ");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	354 init->toCBuffer(buf, hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	355 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	356 buf->writeByte(';');
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	357 buf->writenl();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	358 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	359
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	360 /******************************* AliasDeclaration **************************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	361
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	362 AliasDeclaration::AliasDeclaration(Loc loc, Identifier id, Type type)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	363 : Declaration(id)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	364 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	365 //printf("AliasDeclaration(id = '%s', type = %p)\n", id->toChars(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	366 //printf("type = '%s'\n", type->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	367 this->loc = loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	368 this->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	369 this->aliassym = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	370 #ifdef _DH
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	371 this->htype = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	372 this->haliassym = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	373 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	374 this->overnext = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	375 this->inSemantic = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	376 this->importprot = PROTundefined;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	377 assert(type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	378 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	379
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	380 AliasDeclaration::AliasDeclaration(Loc loc, Identifier id, Dsymbol s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	381 : Declaration(id)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	382 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	383 //printf("AliasDeclaration(id = '%s', s = %p)\n", id->toChars(), s);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	384 assert(s != this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	385 this->loc = loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	386 this->type = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	387 this->aliassym = s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	388 #ifdef _DH
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	389 this->htype = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	390 this->haliassym = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	391 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	392 this->overnext = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	393 this->inSemantic = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	394 assert(s);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	395 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	396
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	397 Dsymbol AliasDeclaration::syntaxCopy(Dsymbol s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	398 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	399 //printf("AliasDeclaration::syntaxCopy()\n");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	400 assert(!s);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	401 AliasDeclaration *sa;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	402 if (type)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	403 sa = new AliasDeclaration(loc, ident, type->syntaxCopy());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	404 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	405 sa = new AliasDeclaration(loc, ident, aliassym->syntaxCopy(NULL));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	406 #ifdef _DH
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	407 // Syntax copy for header file
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	408 if (!htype) // Don't overwrite original
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	409 { if (type) // Make copy for both old and new instances
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	410 { htype = type->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	411 sa->htype = type->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	412 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	413 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	414 else // Make copy of original for new instance
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	415 sa->htype = htype->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	416 if (!haliassym)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	417 { if (aliassym)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	418 { haliassym = aliassym->syntaxCopy(s);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	419 sa->haliassym = aliassym->syntaxCopy(s);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	420 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	421 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	422 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	423 sa->haliassym = haliassym->syntaxCopy(s);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	424 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	425 return sa;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	426 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	427
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	428 void AliasDeclaration::semantic(Scope *sc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	429 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	430 //printf("AliasDeclaration::semantic() %s\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	431 if (aliassym)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	432 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	433 if (aliassym->isTemplateInstance())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	434 aliassym->semantic(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	435 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	436 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	437 this->inSemantic = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	438
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	439 if (storage_class & STCconst)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	440 error("cannot be const");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	441
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	442 storage_class \|= sc->stc & STCdeprecated;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	443
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	444 // Given:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	445 // alias foo.bar.abc def;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	446 // it is not knowable from the syntax whether this is an alias
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	447 // for a type or an alias for a symbol. It is up to the semantic()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	448 // pass to distinguish.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	449 // If it is a type, then type is set and getType() will return that
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	450 // type. If it is a symbol, then aliassym is set and type is NULL -
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	451 // toAlias() will return aliasssym.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	452
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	453 Dsymbol *s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	454 Type *t;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	455 Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	456
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	457 /* This section is needed because resolve() will:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	458 * const x = 3;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	459 * alias x y;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	460 * try to alias y to 3.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	461 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	462 s = type->toDsymbol(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	463 if (s && ((s->getType() && type->equals(s->getType())) \|\| s->isEnumMember()))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	464 goto L2; // it's a symbolic alias
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	465
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	466 if (storage_class & STCref)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	467 { // For 'ref' to be attached to function types, and picked
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	468 // up by Type::resolve(), it has to go into sc.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	469 sc = sc->push();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	470 sc->stc \|= STCref;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	471 type->resolve(loc, sc, &e, &t, &s);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	472 sc = sc->pop();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	473 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	474 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	475 type->resolve(loc, sc, &e, &t, &s);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	476 if (s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	477 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	478 goto L2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	479 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	480 else if (e)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	481 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	482 // Try to convert Expression to Dsymbol
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	483 s = getDsymbol(e);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	484 if (s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	485 goto L2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	486
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	487 error("cannot alias an expression %s", e->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	488 t = e->type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	489 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	490 else if (t)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	491 type = t;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	492 if (overnext)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	493 ScopeDsymbol::multiplyDefined(0, this, overnext);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	494 this->inSemantic = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	495 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	496
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	497 L2:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	498 //printf("alias is a symbol %s %s\n", s->kind(), s->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	499 type = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	500 VarDeclaration *v = s->isVarDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	501 if (v && v->linkage == LINKdefault)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	502 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	503 error("forward reference of %s", v->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	504 s = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	505 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	506 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	507 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	508 FuncDeclaration *f = s->toAlias()->isFuncDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	509 if (f)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	510 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	511 if (overnext)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	512 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	513 FuncAliasDeclaration *fa = new FuncAliasDeclaration(f);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	514 fa->importprot = importprot;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	515 if (!fa->overloadInsert(overnext))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	516 ScopeDsymbol::multiplyDefined(0, f, overnext);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	517 overnext = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	518 s = fa;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	519 s->parent = sc->parent;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	520 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	521 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	522 if (overnext)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	523 ScopeDsymbol::multiplyDefined(0, s, overnext);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	524 if (s == this)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	525 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	526 assert(global.errors);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	527 s = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	528 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	529 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	530 aliassym = s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	531 this->inSemantic = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	532 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	533
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	534 int AliasDeclaration::overloadInsert(Dsymbol *s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	535 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	536 /* Don't know yet what the aliased symbol is, so assume it can
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	537 * be overloaded and check later for correctness.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	538 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	539
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	540 //printf("AliasDeclaration::overloadInsert('%s')\n", s->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	541 if (overnext == NULL)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	542 { overnext = s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	543 return TRUE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	544 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	545 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	546 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	547 return overnext->overloadInsert(s);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	548 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	549 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	550
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	551 const char *AliasDeclaration::kind()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	552 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	553 return "alias";
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	554 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	555
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	556 Type *AliasDeclaration::getType()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	557 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	558 return type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	559 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	560
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	561 Dsymbol *AliasDeclaration::toAlias()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	562 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	563 //printf("AliasDeclaration::toAlias('%s', this = %p, aliassym = %p, kind = '%s')\n", toChars(), this, aliassym, aliassym ? aliassym->kind() : "");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	564 assert(this != aliassym);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	565 //static int count; if (++count == 10) (char)0=0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	566 if (inSemantic)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	567 { error("recursive alias declaration");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	568 aliassym = new TypedefDeclaration(loc, ident, Type::terror, NULL);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	569 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	570 Dsymbol *s = aliassym ? aliassym->toAlias() : this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	571 return s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	572 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	573
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	574 void AliasDeclaration::toCBuffer(OutBuffer buf, HdrGenState hgs)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	575 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	576 buf->writestring("alias ");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	577 #if 0 && _DH
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	578 if (hgs->hdrgen)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	579 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	580 if (haliassym)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	581 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	582 buf->writestring(haliassym->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	583 buf->writeByte(' ');
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	584 buf->writestring(ident->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	585 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	586 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	587 htype->toCBuffer(buf, ident, hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	588 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	589 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	590 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	591 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	592 if (aliassym)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	593 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	594 aliassym->toCBuffer(buf, hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	595 buf->writeByte(' ');
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	596 buf->writestring(ident->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	597 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	598 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	599 type->toCBuffer(buf, ident, hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	600 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	601 buf->writeByte(';');
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	602 buf->writenl();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	603 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	604
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	605 /******************************* VarDeclaration **************************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	606
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	607 VarDeclaration::VarDeclaration(Loc loc, Type type, Identifier id, Initializer *init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	608 : Declaration(id)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	609 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	610 //printf("VarDeclaration('%s')\n", id->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	611 #ifdef DEBUG
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	612 if (!type && !init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	613 { printf("VarDeclaration('%s')\n", id->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	614 //(char)0=0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	615 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	616 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	617 assert(type \|\| init);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	618 this->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	619 this->init = init;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	620 #ifdef _DH
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	621 this->htype = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	622 this->hinit = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	623 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	624 this->loc = loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	625 offset = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	626 noauto = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	627 ctorinit = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	628 aliassym = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	629 onstack = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	630 canassign = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	631 value = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	632 scope = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	633 #if IN_LLVM
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	634 aggrIndex = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	635
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	636 // LDC
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	637 anonDecl = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	638 offset2 = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	639
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	640 nakedUse = false;
1487 f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	641
f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	642 availableExternally = true; // assume this unless proven otherwise
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	643 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	644 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	645
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	646 Dsymbol VarDeclaration::syntaxCopy(Dsymbol s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	647 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	648 //printf("VarDeclaration::syntaxCopy(%s)\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	649
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	650 VarDeclaration *sv;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	651 if (s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	652 { sv = (VarDeclaration *)s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	653 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	654 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	655 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	656 Initializer *init = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	657 if (this->init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	658 { init = this->init->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	659 //init->isExpInitializer()->exp->print();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	660 //init->isExpInitializer()->exp->dump(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	661 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	662
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	663 sv = new VarDeclaration(loc, type ? type->syntaxCopy() : NULL, ident, init);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	664 sv->storage_class = storage_class;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	665 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	666 #ifdef _DH
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	667 // Syntax copy for header file
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	668 if (!htype) // Don't overwrite original
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	669 { if (type) // Make copy for both old and new instances
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	670 { htype = type->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	671 sv->htype = type->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	672 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	673 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	674 else // Make copy of original for new instance
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	675 sv->htype = htype->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	676 if (!hinit)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	677 { if (init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	678 { hinit = init->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	679 sv->hinit = init->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	680 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	681 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	682 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	683 sv->hinit = hinit->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	684 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	685 return sv;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	686 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	687
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	688 void VarDeclaration::semantic(Scope *sc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	689 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	690 #if 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	691 printf("VarDeclaration::semantic('%s', parent = '%s')\n", toChars(), sc->parent->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	692 printf(" type = %s\n", type ? type->toChars() : "null");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	693 printf(" stc = x%x\n", sc->stc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	694 printf(" storage_class = x%x\n", storage_class);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	695 printf("linkage = %d\n", sc->linkage);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	696 //if (strcmp(toChars(), "mul") == 0) halt();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	697 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	698
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	699 storage_class \|= sc->stc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	700 if (storage_class & STCextern && init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	701 error("extern symbols cannot have initializers");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	702
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	703 /* If auto type inference, do the inference
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	704 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	705 int inferred = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	706 if (!type)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	707 { inuse++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	708 type = init->inferType(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	709 inuse--;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	710 inferred = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	711
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	712 /* This is a kludge to support the existing syntax for RAII
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	713 * declarations.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	714 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	715 storage_class &= ~STCauto;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	716 originalType = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	717 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	718 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	719 { if (!originalType)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	720 originalType = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	721 type = type->semantic(loc, sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	722 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	723 //printf(" semantic type = %s\n", type ? type->toChars() : "null");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	724
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	725 type->checkDeprecated(loc, sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	726 linkage = sc->linkage;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	727 this->parent = sc->parent;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	728 //printf("this = %p, parent = %p, '%s'\n", this, parent, parent->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	729 protection = sc->protection;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	730 //printf("sc->stc = %x\n", sc->stc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	731 //printf("storage_class = x%x\n", storage_class);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	732
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	733 if (storage_class & STCgshared && global.params.safe && !sc->module->safe)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	734 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	735 error("__gshared not allowed in safe mode; use shared");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	736 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	737
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	738 Dsymbol *parent = toParent();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	739 FuncDeclaration *fd = parent->isFuncDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	740
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	741 Type *tb = type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	742 if (tb->ty == Tvoid && !(storage_class & STClazy))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	743 { error("voids have no value");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	744 type = Type::terror;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	745 tb = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	746 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	747 if (tb->ty == Tfunction)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	748 { error("cannot be declared to be a function");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	749 type = Type::terror;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	750 tb = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	751 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	752 if (tb->ty == Tstruct)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	753 { TypeStruct ts = (TypeStruct )tb;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	754
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	755 if (!ts->sym->members)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	756 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	757 error("no definition of struct %s", ts->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	758 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	759 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	760
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	761 if (tb->ty == Ttuple)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	762 { /* Instead, declare variables for each of the tuple elements
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	763 * and add those.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	764 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	765 TypeTuple tt = (TypeTuple )tb;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	766 size_t nelems = Argument::dim(tt->arguments);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	767 Objects *exps = new Objects();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	768 exps->setDim(nelems);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	769 Expression *ie = init ? init->toExpression() : NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	770
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	771 for (size_t i = 0; i < nelems; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	772 { Argument *arg = Argument::getNth(tt->arguments, i);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	773
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	774 OutBuffer buf;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	775 buf.printf("_%s_field_%zu", ident->toChars(), i);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	776 buf.writeByte(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	777 char name = (char )buf.extractData();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	778 Identifier *id = new Identifier(name, TOKidentifier);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	779
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	780 Expression *einit = ie;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	781 if (ie && ie->op == TOKtuple)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	782 { einit = (Expression )((TupleExp )ie)->exps->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	783 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	784 Initializer *ti = init;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	785 if (einit)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	786 { ti = new ExpInitializer(einit->loc, einit);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	787 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	788
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	789 VarDeclaration *v = new VarDeclaration(loc, arg->type, id, ti);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	790 //printf("declaring field %s of type %s\n", v->toChars(), v->type->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	791 v->semantic(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	792
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	793 /*
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	794 // removed for LDC since TupleDeclaration::toObj already creates the fields;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	795 // adding them to the scope again leads to duplicates
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	796 if (sc->scopesym)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	797 { //printf("adding %s to %s\n", v->toChars(), sc->scopesym->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	798 if (sc->scopesym->members)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	799 sc->scopesym->members->push(v);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	800 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	801 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	802 Expression *e = new DsymbolExp(loc, v);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	803 exps->data[i] = e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	804 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	805 TupleDeclaration *v2 = new TupleDeclaration(loc, ident, exps);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	806 v2->isexp = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	807 aliassym = v2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	808 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	809 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	810
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	811 Lagain:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	812 /* Storage class can modify the type
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	813 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	814 type = type->addStorageClass(storage_class);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	815
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	816 /* Adjust storage class to reflect type
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	817 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	818 if (type->isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	819 { storage_class \|= STCconst;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	820 if (type->isShared())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	821 storage_class \|= STCshared;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	822 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	823 else if (type->isInvariant())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	824 storage_class \|= STCimmutable;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	825 else if (type->isShared())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	826 storage_class \|= STCshared;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	827
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	828 if (isSynchronized())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	829 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	830 error("variable %s cannot be synchronized", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	831 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	832 else if (isOverride())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	833 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	834 error("override cannot be applied to variable");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	835 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	836 else if (isAbstract())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	837 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	838 error("abstract cannot be applied to variable");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	839 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	840 else if (storage_class & STCfinal)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	841 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	842 error("final cannot be applied to variable");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	843 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	844
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	845 if (storage_class & (STCstatic \| STCextern \| STCmanifest \| STCtemplateparameter \| STCtls \| STCgshared))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	846 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	847 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	848 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	849 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	850 AggregateDeclaration *aad = sc->anonAgg;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	851 if (!aad)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	852 aad = parent->isAggregateDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	853 if (aad)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	854 { assert(!(storage_class & (STCextern \| STCstatic \| STCtls \| STCgshared)));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	855
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	856 if (storage_class & (STCconst \| STCimmutable) && init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	857 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	858 if (!type->toBasetype()->isTypeBasic())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	859 storage_class \|= STCstatic;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	860 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	861 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	862 aad->addField(sc, this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	863 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	864
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	865 InterfaceDeclaration *id = parent->isInterfaceDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	866 if (id)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	867 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	868 error("field not allowed in interface");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	869 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	870
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	871 /* Templates cannot add fields to aggregates
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	872 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	873 TemplateInstance *ti = parent->isTemplateInstance();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	874 if (ti)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	875 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	876 // Take care of nested templates
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	877 while (1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	878 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	879 TemplateInstance *ti2 = ti->tempdecl->parent->isTemplateInstance();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	880 if (!ti2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	881 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	882 ti = ti2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	883 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	884
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	885 // If it's a member template
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	886 AggregateDeclaration *ad = ti->tempdecl->isMember();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	887 if (ad && storage_class != STCundefined)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	888 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	889 error("cannot use template to add field to aggregate '%s'", ad->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	890 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	891 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	892 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	893
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	894 if ((storage_class & (STCref \| STCparameter \| STCforeach)) == STCref &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	895 ident != Id::This)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	896 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	897 error("only parameters or foreach declarations can be ref");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	898 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	899
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	900 if (type->isauto() && !noauto)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	901 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	902 if (storage_class & (STCfield \| STCout \| STCref \| STCstatic \| STCmanifest \| STCtls \| STCgshared) \|\| !fd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	903 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	904 error("globals, statics, fields, manifest constants, ref and out parameters cannot be scope");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	905 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	906
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	907 if (!(storage_class & (STCauto \| STCscope)))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	908 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	909 if (!(storage_class & STCparameter) && ident != Id::withSym)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	910 error("reference to scope class must be scope");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	911 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	912 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	913
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	914 if ((isConst() \|\| isInvariant()) && !init && !fd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	915 { // Initialize by constructor only
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	916 storage_class \|= STCctorinit;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	917 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	918
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	919 if (init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	920 storage_class \|= STCinit; // remember we had an explicit initializer
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	921 else if (storage_class & STCmanifest)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	922 error("manifest constants must have initializers");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	923
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	924 enum TOK op = TOKconstruct;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	925 if (!init && !sc->inunion && !isStatic() && fd &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	926 (!(storage_class & (STCfield \| STCin \| STCforeach \| STCparameter)) \|\| (storage_class & STCout)) &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	927 type->size() != 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	928 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	929 // Provide a default initializer
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	930 //printf("Providing default initializer for '%s'\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	931 if (type->ty == Tstruct &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	932 ((TypeStruct *)type)->sym->zeroInit == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	933 { /* If a struct is all zeros, as a special case
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	934 * set it's initializer to the integer 0.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	935 * In AssignExp::toElem(), we check for this and issue
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	936 * a memset() to initialize the struct.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	937 * Must do same check in interpreter.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	938 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	939 Expression *e = new IntegerExp(loc, 0, Type::tint32);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	940 Expression *e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	941 e1 = new VarExp(loc, this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	942 e = new AssignExp(loc, e1, e);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	943 e->op = TOKconstruct;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	944 e->type = e1->type; // don't type check this, it would fail
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	945 init = new ExpInitializer(loc, e);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	946 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	947 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	948 else if (type->ty == Ttypedef)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	949 { TypeTypedef td = (TypeTypedef )type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	950 if (td->sym->init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	951 { init = td->sym->init;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	952 ExpInitializer *ie = init->isExpInitializer();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	953 if (ie)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	954 // Make copy so we can modify it
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	955 init = new ExpInitializer(ie->loc, ie->exp);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	956 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	957 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	958 init = getExpInitializer();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	959 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	960 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	961 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	962 init = getExpInitializer();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	963 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	964 // Default initializer is always a blit
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	965 op = TOKblit;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	966 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	967
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	968 if (init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	969 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	970 sc = sc->push();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	971 sc->stc &= ~(STC_TYPECTOR \| STCpure \| STCnothrow \| STCref);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	972
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	973 ArrayInitializer *ai = init->isArrayInitializer();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	974 if (ai && tb->ty == Taarray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	975 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	976 init = ai->toAssocArrayInitializer();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	977 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	978
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	979 StructInitializer *si = init->isStructInitializer();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	980 ExpInitializer *ei = init->isExpInitializer();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	981
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	982 // See if initializer is a NewExp that can be allocated on the stack
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	983 if (ei && isScope() && ei->exp->op == TOKnew)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	984 { NewExp ne = (NewExp )ei->exp;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	985 if (!(ne->newargs && ne->newargs->dim))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	986 { ne->onstack = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	987 onstack = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	988 if (type->isBaseOf(ne->newtype->semantic(loc, sc), NULL))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	989 onstack = 2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	990 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	991 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	992
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	993 // If inside function, there is no semantic3() call
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	994 if (sc->func)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	995 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	996 // If local variable, use AssignExp to handle all the various
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	997 // possibilities.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	998 if (fd &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	999 !(storage_class & (STCmanifest \| STCstatic \| STCtls \| STCgshared \| STCextern)) &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1000 !init->isVoidInitializer())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1001 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1002 //printf("fd = '%s', var = '%s'\n", fd->toChars(), toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1003 if (!ei)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1004 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1005 Expression *e = init->toExpression();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1006 if (!e)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1007 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1008 init = init->semantic(sc, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1009 e = init->toExpression();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1010 if (!e)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1011 { error("is not a static and cannot have static initializer");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1012 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1013 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1014 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1015 ei = new ExpInitializer(init->loc, e);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1016 init = ei;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1017 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1018
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1019 Expression *e1 = new VarExp(loc, this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1020
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1021 Type *t = type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1022 if (t->ty == Tsarray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1023 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1024 ei->exp = ei->exp->semantic(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1025 if (!ei->exp->implicitConvTo(type))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1026 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1027 int dim = ((TypeSArray *)t)->dim->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1028 // If multidimensional static array, treat as one large array
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1029 while (1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1030 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1031 t = t->nextOf()->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1032 if (t->ty != Tsarray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1033 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1034 dim = ((TypeSArray )t)->dim->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1035 e1->type = new TypeSArray(t->nextOf(), new IntegerExp(0, dim, Type::tindex));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1036 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1037 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1038 e1 = new SliceExp(loc, e1, NULL, NULL);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1039 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1040 else if (t->ty == Tstruct)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1041 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1042 ei->exp = ei->exp->semantic(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1043
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1044 /* Look to see if initializer is a call to the constructor
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1045 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1046 StructDeclaration sd = ((TypeStruct )t)->sym;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1047 if (sd->ctor && // there are constructors
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1048 ei->exp->type->ty == Tstruct && // rvalue is the same struct
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1049 ((TypeStruct *)ei->exp->type)->sym == sd &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1050 ei->exp->op == TOKstar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1051 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1052 /* Look for form of constructor call which is:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1053 * *__ctmp.ctor(arguments...)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1054 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1055 PtrExp pe = (PtrExp )ei->exp;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1056 if (pe->e1->op == TOKcall)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1057 { CallExp ce = (CallExp )pe->e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1058 if (ce->e1->op == TOKdotvar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1059 { DotVarExp dve = (DotVarExp )ce->e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1060 if (dve->var->isCtorDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1061 { /* It's a constructor call, currently constructing
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1062 * a temporary __ctmp.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1063 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1064 /* Before calling the constructor, initialize
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1065 * variable with a bit copy of the default
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1066 * initializer
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1067 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1068 Expression *e = new AssignExp(loc, new VarExp(loc, this), t->defaultInit(loc));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1069 e->op = TOKblit;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1070 e->type = t;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1071 ei->exp = new CommaExp(loc, e, ei->exp);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1072
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1073 /* Replace __ctmp being constructed with e1
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1074 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1075 dve->e1 = e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1076 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1077 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1078 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1079 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1080 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1081
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1082 if (!ei->exp->implicitConvTo(type))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1083 { Type *ti = ei->exp->type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1084 // Don't cast away invariant or mutability in initializer
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1085 if (!(ti->ty == Tstruct && t->toDsymbol(sc) == ti->toDsymbol(sc)))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1086 ei->exp = new CastExp(loc, ei->exp, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1087 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1088 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1089 ei->exp = new AssignExp(loc, e1, ei->exp);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1090 ei->exp->op = op;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1091 canassign++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1092 ei->exp = ei->exp->semantic(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1093 canassign--;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1094 ei->exp->optimize(WANTvalue);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1095 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1096 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1097 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1098 init = init->semantic(sc, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1099 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1100 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1101 else if (storage_class & (STCconst \| STCimmutable \| STCmanifest) \|\|
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1102 type->isConst() \|\| type->isInvariant())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1103 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1104 /* Because we may need the results of a const declaration in a
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1105 * subsequent type, such as an array dimension, before semantic2()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1106 * gets ordinarily run, try to run semantic2() now.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1107 * Ignore failure.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1108 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1109
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1110 if (!global.errors && !inferred)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1111 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1112 unsigned errors = global.errors;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1113 global.gag++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1114 //printf("+gag\n");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1115 Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1116 Initializer *i2 = init;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1117 inuse++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1118 if (ei)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1119 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1120 e = ei->exp->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1121 e = e->semantic(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1122 e = e->implicitCastTo(sc, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1123 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1124 else if (si \|\| ai)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1125 { i2 = init->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1126 i2 = i2->semantic(sc, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1127 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1128 inuse--;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1129 global.gag--;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1130 //printf("-gag\n");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1131 if (errors != global.errors) // if errors happened
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1132 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1133 if (global.gag == 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1134 global.errors = errors; // act as if nothing happened
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1135
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1136 /* Save scope for later use, to try again
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1137 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1138 scope = new Scope(*sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1139 scope->setNoFree();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1140 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1141 else if (ei)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1142 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1143 if (isDataseg())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1144 /* static const/invariant does CTFE
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1145 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1146 e = e->optimize(WANTvalue \| WANTinterpret);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1147 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1148 e = e->optimize(WANTvalue);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1149 if (e->op == TOKint64 \|\| e->op == TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1150 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1151 ei->exp = e; // no errors, keep result
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1152 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1153 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1154 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1155 /* Save scope for later use, to try again
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1156 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1157 scope = new Scope(*sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1158 scope->setNoFree();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1159 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1160 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1161 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1162 init = i2; // no errors, keep result
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1163 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1164 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1165 sc = sc->pop();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1166 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1167 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1168
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1169 void VarDeclaration::semantic2(Scope *sc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1170 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1171 //printf("VarDeclaration::semantic2('%s')\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1172 if (init && !toParent()->isFuncDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1173 { inuse++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1174 #if 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1175 ExpInitializer *ei = init->isExpInitializer();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1176 if (ei)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1177 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1178 ei->exp->dump(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1179 printf("type = %p\n", ei->exp->type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1180 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1181 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1182 init = init->semantic(sc, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1183 inuse--;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1184 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1185 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1186
1487 f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	1187 void VarDeclaration::semantic3(Scope *sc)
f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	1188 {
f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	1189 // LDC
f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	1190 if (!global.params.useAvailableExternally)
f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	1191 availableExternally = false;
f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	1192
f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	1193 // Preserve call chain
f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	1194 Declaration::semantic3(sc);
f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	1195 }
f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	1196
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1197 const char *VarDeclaration::kind()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1198 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1199 return "variable";
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1200 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1201
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1202 Dsymbol *VarDeclaration::toAlias()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1203 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1204 //printf("VarDeclaration::toAlias('%s', this = %p, aliassym = %p)\n", toChars(), this, aliassym);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1205 assert(this != aliassym);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1206 Dsymbol *s = aliassym ? aliassym->toAlias() : this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1207 return s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1208 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1209
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1210 void VarDeclaration::toCBuffer(OutBuffer buf, HdrGenState hgs)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1211 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1212 StorageClassDeclaration::stcToCBuffer(buf, storage_class);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1213
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1214 /* If changing, be sure and fix CompoundDeclarationStatement::toCBuffer()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1215 * too.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1216 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1217 if (type)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1218 type->toCBuffer(buf, ident, hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1219 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1220 buf->writestring(ident->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1221 if (init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1222 { buf->writestring(" = ");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1223 ExpInitializer *ie = init->isExpInitializer();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1224 if (ie && (ie->exp->op == TOKconstruct \|\| ie->exp->op == TOKblit))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1225 ((AssignExp *)ie->exp)->e2->toCBuffer(buf, hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1226 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1227 init->toCBuffer(buf, hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1228 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1229 buf->writeByte(';');
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1230 buf->writenl();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1231 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1232
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1233 int VarDeclaration::needThis()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1234 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1235 //printf("VarDeclaration::needThis(%s, x%x)\n", toChars(), storage_class);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1236 return storage_class & STCfield;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1237 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1238
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1239 int VarDeclaration::isImportedSymbol()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1240 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1241 if (protection == PROTexport && !init &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1242 (storage_class & STCstatic \|\| parent->isModule()))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1243 return TRUE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1244 return FALSE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1245 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1246
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1247 void VarDeclaration::checkCtorConstInit()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1248 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1249 #if 0 /* doesn't work if more than one static ctor */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1250 if (ctorinit == 0 && isCtorinit() && !(storage_class & STCfield))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1251 error("missing initializer in static constructor for const variable");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1252 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1253 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1254
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1255 /************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1256 * Check to see if this variable is actually in an enclosing function
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1257 * rather than the current one.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1258 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1259
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1260 void VarDeclaration::checkNestedReference(Scope *sc, Loc loc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1261 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1262 if (parent && !isDataseg() && parent != sc->parent &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1263 !(storage_class & STCmanifest))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1264 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1265 // The function that this variable is in
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1266 FuncDeclaration *fdv = toParent()->isFuncDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1267 // The current function
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1268 FuncDeclaration *fdthis = sc->parent->isFuncDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1269
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1270 if (fdv && fdthis && fdv != fdthis)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1271 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1272 if (loc.filename)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1273 fdthis->getLevel(loc, fdv);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1274
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1275 for (int i = 0; i < nestedrefs.dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1276 { FuncDeclaration f = (FuncDeclaration )nestedrefs.data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1277 if (f == fdthis)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1278 goto L1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1279 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1280 nestedrefs.push(fdthis);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1281 L1: ;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1282
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1283
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1284 for (int i = 0; i < fdv->closureVars.dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1285 { Dsymbol s = (Dsymbol )fdv->closureVars.data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1286 if (s == this)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1287 goto L2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1288 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1289
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1290 fdv->closureVars.push(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1291 L2: ;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1292
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1293 //printf("fdthis is %s\n", fdthis->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1294 //printf("var %s in function %s is nested ref\n", toChars(), fdv->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1295 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1296 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1297 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1298
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1299 /****************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1300 * Get ExpInitializer for a variable, if there is one.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1301 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1302
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1303 ExpInitializer *VarDeclaration::getExpInitializer()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1304 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1305 ExpInitializer *ei;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1306
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1307 if (init)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1308 ei = init->isExpInitializer();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1309 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1310 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1311 Expression *e = type->defaultInit(loc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1312 if (e)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1313 ei = new ExpInitializer(loc, e);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1314 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1315 ei = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1316 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1317 return ei;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1318 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1319
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1320 /*******************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1321 * If variable has a constant expression initializer, get it.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1322 * Otherwise, return NULL.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1323 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1324
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1325 Expression *VarDeclaration::getConstInitializer()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1326 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1327 if ((isConst() \|\| isInvariant() \|\| storage_class & STCmanifest) &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1328 storage_class & STCinit)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1329 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1330 ExpInitializer *ei = getExpInitializer();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1331 if (ei)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1332 return ei->exp;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1333 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1334
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1335 return NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1336 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1337
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1338 /*************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1339 * Return !=0 if we can take the address of this variable.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1340 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1341
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1342 int VarDeclaration::canTakeAddressOf()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1343 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1344 #if 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1345 /* Global variables and struct/class fields of the form:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1346 * const int x = 3;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1347 * are not stored and hence cannot have their address taken.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1348 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1349 if ((isConst() \|\| isInvariant()) &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1350 storage_class & STCinit &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1351 (!(storage_class & (STCstatic \| STCextern)) \|\| (storage_class & STCfield)) &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1352 (!parent \|\| toParent()->isModule() \|\| toParent()->isTemplateInstance()) &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1353 type->toBasetype()->isTypeBasic()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1354 )
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1355 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1356 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1357 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1358 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1359 if (storage_class & STCmanifest)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1360 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1361 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1362 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1363 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1364
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1365 /*******************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1366 * Does symbol go into data segment?
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1367 * Includes extern variables.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1368 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1369
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1370 int VarDeclaration::isDataseg()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1371 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1372 #if 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1373 printf("VarDeclaration::isDataseg(%p, '%s')\n", this, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1374 printf("%x, %p, %p\n", storage_class & (STCstatic \| STCconst), parent->isModule(), parent->isTemplateInstance());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1375 printf("parent = '%s'\n", parent->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1376 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1377 if (storage_class & STCmanifest)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1378 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1379 Dsymbol *parent = this->toParent();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1380 if (!parent && !(storage_class & STCstatic))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1381 { error("forward referenced");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1382 type = Type::terror;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1383 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1384 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1385 return canTakeAddressOf() &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1386 (storage_class & (STCstatic \| STCextern \| STCtls \| STCgshared) \|\|
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1387 toParent()->isModule() \|\|
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1388 toParent()->isTemplateInstance());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1389 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1390
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1391 /************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1392 * Does symbol go into thread local storage?
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1393 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1394
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1395 int VarDeclaration::isThreadlocal()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1396 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1397 //printf("VarDeclaration::isThreadlocal(%p, '%s')\n", this, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1398 #if 0 \|\| TARGET_OSX
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1399 /* To be thread-local, must use the __thread storage class.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1400 * BUG: OSX doesn't support thread local yet.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1401 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1402 return isDataseg() &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1403 (storage_class & (STCtls \| STCconst \| STCimmutable \| STCshared \| STCgshared)) == STCtls;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1404 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1405 /* Data defaults to being thread-local. It is not thread-local
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1406 * if it is immutable, const or shared.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1407 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1408 int i = isDataseg() &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1409 !(storage_class & (STCimmutable \| STCconst \| STCshared \| STCgshared));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1410 //printf("\treturn %d\n", i);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1411 return i;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1412 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1413 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1414
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1415 int VarDeclaration::hasPointers()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1416 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1417 //printf("VarDeclaration::hasPointers() %s, ty = %d\n", toChars(), type->ty);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1418 return (!isDataseg() && type->hasPointers());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1419 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1420
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1421 /******************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1422 * Return TRUE if variable needs to call the destructor.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1423 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1424
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1425 int VarDeclaration::needsAutoDtor()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1426 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1427 //printf("VarDeclaration::needsAutoDtor() %s\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1428
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1429 if (noauto \|\| storage_class & STCnodtor)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1430 return FALSE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1431
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1432 // Destructors for structs and arrays of structs
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1433 Type *tv = type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1434 while (tv->ty == Tsarray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1435 { TypeSArray ta = (TypeSArray )tv;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1436 tv = tv->nextOf()->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1437 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1438 if (tv->ty == Tstruct)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1439 { TypeStruct ts = (TypeStruct )tv;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1440 StructDeclaration *sd = ts->sym;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1441 if (sd->dtor)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1442 return TRUE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1443 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1444
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1445 // Destructors for classes
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1446 if (storage_class & (STCauto \| STCscope))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1447 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1448 if (type->isClassHandle())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1449 return TRUE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1450 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1451 return FALSE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1452 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1453
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1454
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1455 /******************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1456 * If a variable has an auto destructor call, return call for it.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1457 * Otherwise, return NULL.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1458 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1459
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1460 Expression VarDeclaration::callAutoDtor(Scope sc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1461 { Expression *e = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1462
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1463 //printf("VarDeclaration::callAutoDtor() %s\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1464
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1465 if (noauto \|\| storage_class & STCnodtor)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1466 return NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1467
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1468 // Destructors for structs and arrays of structs
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1469 bool array = false;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1470 Type *tv = type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1471 while (tv->ty == Tsarray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1472 { TypeSArray ta = (TypeSArray )tv;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1473 array = true;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1474 tv = tv->nextOf()->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1475 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1476 if (tv->ty == Tstruct)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1477 { TypeStruct ts = (TypeStruct )tv;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1478 StructDeclaration *sd = ts->sym;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1479 if (sd->dtor)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1480 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1481 if (array)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1482 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1483 // Typeinfo.destroy(cast(void*)&v);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1484 Expression *ea = new SymOffExp(loc, this, 0, 0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1485 ea = new CastExp(loc, ea, Type::tvoid->pointerTo());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1486 Expressions *args = new Expressions();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1487 args->push(ea);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1488
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1489 Expression *et = type->getTypeInfo(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1490 et = new DotIdExp(loc, et, Id::destroy);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1491
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1492 e = new CallExp(loc, et, args);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1493 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1494 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1495 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1496 e = new VarExp(loc, this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1497 e = new DotVarExp(loc, e, sd->dtor, 0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1498 e = new CallExp(loc, e);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1499 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1500 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1501 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1502 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1503
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1504 // Destructors for classes
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1505 if (storage_class & (STCauto \| STCscope))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1506 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1507 for (ClassDeclaration *cd = type->isClassHandle();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1508 cd;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1509 cd = cd->baseClass)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1510 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1511 /* We can do better if there's a way with onstack
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1512 * classes to determine if there's no way the monitor
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1513 * could be set.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1514 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1515 //if (cd->isInterfaceDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1516 //error("interface %s cannot be scope", cd->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1517 if (1 \|\| onstack \|\| cd->dtors.dim) // if any destructors
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1518 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1519 // delete this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1520 Expression *ec;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1521
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1522 ec = new VarExp(loc, this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1523 e = new DeleteExp(loc, ec);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1524 e->type = Type::tvoid;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1525 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1526 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1527 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1528 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1529 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1530 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1531
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1532
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1533 /******************************* ClassInfoDeclaration **************************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1534
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1535 ClassInfoDeclaration::ClassInfoDeclaration(ClassDeclaration *cd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1536 : VarDeclaration(0, ClassDeclaration::classinfo->type, cd->ident, NULL)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1537 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1538 this->cd = cd;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1539 storage_class = STCstatic \| STCgshared;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1540 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1541
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1542 Dsymbol ClassInfoDeclaration::syntaxCopy(Dsymbol s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1543 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1544 assert(0); // should never be produced by syntax
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1545 return NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1546 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1547
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1548 void ClassInfoDeclaration::semantic(Scope *sc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1549 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1550 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1551
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1552 /******************************* ModuleInfoDeclaration **************************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1553
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1554 ModuleInfoDeclaration::ModuleInfoDeclaration(Module *mod)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1555 : VarDeclaration(0, Module::moduleinfo->type, mod->ident, NULL)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1556 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1557 this->mod = mod;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1558 storage_class = STCstatic \| STCgshared;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1559 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1560
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1561 Dsymbol ModuleInfoDeclaration::syntaxCopy(Dsymbol s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1562 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1563 assert(0); // should never be produced by syntax
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1564 return NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1565 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1566
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1567 void ModuleInfoDeclaration::semantic(Scope *sc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1568 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1569 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1570
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1571 /******************************* TypeInfoDeclaration **************************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1572
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1573 TypeInfoDeclaration::TypeInfoDeclaration(Type *tinfo, int internal)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1574 : VarDeclaration(0, Type::typeinfo->type, tinfo->getTypeInfoIdent(internal), NULL)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1575 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1576 this->tinfo = tinfo;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1577 storage_class = STCstatic \| STCgshared;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1578 protection = PROTpublic;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1579 linkage = LINKc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1580 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1581
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1582 Dsymbol TypeInfoDeclaration::syntaxCopy(Dsymbol s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1583 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1584 assert(0); // should never be produced by syntax
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1585 return NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1586 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1587
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1588 void TypeInfoDeclaration::semantic(Scope *sc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1589 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1590 assert(linkage == LINKc);
1487 f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	1591 // LDC
f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	1592 if (!global.params.useAvailableExternally)
f62347c22d81 Apply changes from r1482 to D2 frontend too. Completely untested, but ldc2 Frits van Bommel <fvbommel wxs.nl> parents: 1452 diff changeset	1593 availableExternally = false;
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1594 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1595
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1596 /*************************** TypeInfoConstDeclaration ********************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1597
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1598 #if DMDV2
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1599 TypeInfoConstDeclaration::TypeInfoConstDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1600 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1601 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1602 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1603 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1604
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1605 /*************************** TypeInfoInvariantDeclaration ********************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1606
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1607 #if DMDV2
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1608 TypeInfoInvariantDeclaration::TypeInfoInvariantDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1609 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1610 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1611 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1612 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1613
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1614 /*************************** TypeInfoSharedDeclaration ********************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1615
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1616 #if DMDV2
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1617 TypeInfoSharedDeclaration::TypeInfoSharedDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1618 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1619 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1620 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1621 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1622
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1623 /*************************** TypeInfoStructDeclaration ********************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1624
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1625 TypeInfoStructDeclaration::TypeInfoStructDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1626 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1627 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1628 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1629
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1630 /*************************** TypeInfoClassDeclaration *********************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1631
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1632 TypeInfoClassDeclaration::TypeInfoClassDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1633 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1634 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1635 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1636
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1637 /*************************** TypeInfoInterfaceDeclaration *****************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1638
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1639 TypeInfoInterfaceDeclaration::TypeInfoInterfaceDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1640 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1641 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1642 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1643
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1644 /*************************** TypeInfoTypedefDeclaration *******************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1645
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1646 TypeInfoTypedefDeclaration::TypeInfoTypedefDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1647 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1648 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1649 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1650
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1651 /*************************** TypeInfoPointerDeclaration *******************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1652
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1653 TypeInfoPointerDeclaration::TypeInfoPointerDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1654 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1655 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1656 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1657
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1658 /*************************** TypeInfoArrayDeclaration *********************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1659
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1660 TypeInfoArrayDeclaration::TypeInfoArrayDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1661 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1662 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1663 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1664
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1665 /*************************** TypeInfoStaticArrayDeclaration ***************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1666
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1667 TypeInfoStaticArrayDeclaration::TypeInfoStaticArrayDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1668 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1669 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1670 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1671
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1672 /*************************** TypeInfoAssociativeArrayDeclaration **********/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1673
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1674 TypeInfoAssociativeArrayDeclaration::TypeInfoAssociativeArrayDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1675 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1676 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1677 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1678
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1679 /*************************** TypeInfoEnumDeclaration *********************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1680
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1681 TypeInfoEnumDeclaration::TypeInfoEnumDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1682 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1683 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1684 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1685
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1686 /*************************** TypeInfoFunctionDeclaration ******************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1687
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1688 TypeInfoFunctionDeclaration::TypeInfoFunctionDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1689 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1690 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1691 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1692
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1693 /*************************** TypeInfoDelegateDeclaration ******************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1694
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1695 TypeInfoDelegateDeclaration::TypeInfoDelegateDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1696 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1697 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1698 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1699
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1700 /*************************** TypeInfoTupleDeclaration ********************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1701
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1702 TypeInfoTupleDeclaration::TypeInfoTupleDeclaration(Type *tinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1703 : TypeInfoDeclaration(tinfo, 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1704 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1705 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1706
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1707 /******************************* ThisDeclaration **************************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1708
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1709 // For the "this" parameter to member functions
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1710
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1711 ThisDeclaration::ThisDeclaration(Loc loc, Type *t)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1712 : VarDeclaration(loc, t, Id::This, NULL)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1713 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1714 noauto = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1715 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1716
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1717 Dsymbol ThisDeclaration::syntaxCopy(Dsymbol s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1718 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1719 assert(0); // should never be produced by syntax
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1720 return NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1721 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1722
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1723 /******************** StaticStructInitDeclaration *************************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1724
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1725 StaticStructInitDeclaration::StaticStructInitDeclaration(Loc loc, StructDeclaration *dsym)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1726 : Declaration(new Identifier("", TOKidentifier))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1727 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1728 this->loc = loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1729 this->dsym = dsym;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1730 storage_class \|= STCconst;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 922 diff changeset	1731 }

Mercurial > projects > ldc

annotate dmd2/declaration.c @ 1518:26d061e61b02