Mercurial > projects > ddmd

annotate dmd/VarExp.d @ 187:b0d41ff5e0df

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218
author Abscissa
date Tue, 07 Jun 2011 23:37:34 -0400
parents e3afd1303184
children 52188e7e3fb5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
1 module dmd.VarExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
2
114
e28b18c23469 added a module dmd.common for commonly used stuff
Trass3r
parents: 109
diff changeset
3 import dmd.common;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
4 import dmd.Expression;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
5 import dmd.Declaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
6 import dmd.InterState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
7 import dmd.OutBuffer;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
8 import dmd.Loc;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
9 import dmd.Scope;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
10 import dmd.InlineCostState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
11 import dmd.FuncLiteralDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
12 import dmd.VarDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
13 import dmd.Dsymbol;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
14 import dmd.FuncDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
15 import dmd.InlineDoState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
16 import dmd.HdrGenState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
17 import dmd.TOK;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
18 import dmd.TY;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
19 import dmd.STC;
148
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
20 import dmd.SymbolDeclaration;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
21 import dmd.SymbolExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
22 import dmd.Type;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
23 import dmd.interpret.Util;
148
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
24 import dmd.backend.Util;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
25 import dmd.backend.dt_t;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
26 import dmd.expression.Util;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
27
187
b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218
Abscissa
parents: 178
diff changeset
28 import dmd.DDMDExtensions;
b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218
Abscissa
parents: 178
diff changeset
29
108
6da99741178e e2ir.c changes, mainly accounts for static arrays being value types now
Trass3r
parents: 73
diff changeset
30 //! Variable
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
31 class VarExp : SymbolExp
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
32 {
187
b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218
Abscissa
parents: 178
diff changeset
33 mixin insertMemberExtension!(typeof(this));
b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218
Abscissa
parents: 178
diff changeset
34
73
ef02e2e203c2 Updating to dmd2.033
korDen
parents: 72
diff changeset
35 this(Loc loc, Declaration var, bool hasOverloads = false)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
36 {
178
e3afd1303184 Many small bugs fixed
korDen
parents: 156
diff changeset
37 register();
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
38 super(loc, TOK.TOKvar, VarExp.sizeof, var, hasOverloads);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
39
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
40 //printf("VarExp(this = %p, '%s', loc = %s)\n", this, var.toChars(), loc.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
41 //if (strcmp(var.ident.toChars(), "func") == 0) halt();
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
42 this.type = var.type;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
43 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
44
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
45 override bool equals(Object o)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
46 {
156
0c8cc2a10f99 + ArrayInitializer.toAssocArrayLiteral()
trass3r
parents: 148
diff changeset
47 VarExp ne;
0c8cc2a10f99 + ArrayInitializer.toAssocArrayLiteral()
trass3r
parents: 148
diff changeset
48
0c8cc2a10f99 + ArrayInitializer.toAssocArrayLiteral()
trass3r
parents: 148
diff changeset
49 if ( this == o ||
0c8cc2a10f99 + ArrayInitializer.toAssocArrayLiteral()
trass3r
parents: 148
diff changeset
50 ((cast(Expression)o).op == TOKvar &&
0c8cc2a10f99 + ArrayInitializer.toAssocArrayLiteral()
trass3r
parents: 148
diff changeset
51 ((ne = cast(VarExp)o), type.toHeadMutable().equals(ne.type.toHeadMutable())) &&
0c8cc2a10f99 + ArrayInitializer.toAssocArrayLiteral()
trass3r
parents: 148
diff changeset
52 var == ne.var))
0c8cc2a10f99 + ArrayInitializer.toAssocArrayLiteral()
trass3r
parents: 148
diff changeset
53 return true;
0c8cc2a10f99 + ArrayInitializer.toAssocArrayLiteral()
trass3r
parents: 148
diff changeset
54 return false;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
55 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
56
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
57 override Expression semantic(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
58 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
59 FuncLiteralDeclaration fd;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
60
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
61 version (LOGSEMANTIC) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
62 printf("VarExp.semantic(%s)\n", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
63 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
64 if (!type)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
65 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
66 type = var.type;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
67 static if (false) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
68 if (var.storage_class & STC.STClazy)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
69 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
70 TypeFunction tf = new TypeFunction(null, type, 0, LINK.LINKd);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
71 type = new TypeDelegate(tf);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
72 type = type.semantic(loc, sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
73 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
74 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
75 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
76
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
77 /* Fix for 1161 doesn't work because it causes protection
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
78 * problems when instantiating imported templates passing private
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
79 * variables as alias template parameters.
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
80 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
81 //accessCheck(loc, sc, null, var);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
82
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
83 VarDeclaration v = var.isVarDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
84 if (v)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
85 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
86 static if (false) {
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 130
diff changeset
87 if ((v.isConst() || v.isImmutable()) && type.toBasetype().ty != TY.Tsarray && v.init)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
88 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
89 ExpInitializer ei = v.init.isExpInitializer();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
90 if (ei)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
91 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
92 //ei.exp.implicitCastTo(sc, type).print();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
93 return ei.exp.implicitCastTo(sc, type);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
94 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
95 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
96 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
97 v.checkNestedReference(sc, loc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
98 version (DMDV2) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
99 static if (true) {
130
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
100 if (sc.func && !sc.intypeof)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
101 {
130
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
102 /* Given:
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
103 * void f()
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
104 * { int fx;
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
105 * pure void g()
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
106 * { int gx;
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
107 * void h()
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
108 * { int hx;
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
109 * void i() { }
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
110 * }
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
111 * }
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
112 * }
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
113 * i() can modify hx and gx but not fx
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
114 */
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
115
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
116 /* Determine if sc.func is pure or if any function that
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
117 * encloses it is also pure.
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
118 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
119 bool hasPureParent = false;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
120 for (FuncDeclaration outerfunc = sc.func; outerfunc;)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
121 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
122 if (outerfunc.isPure())
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
123 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
124 hasPureParent = true;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
125 break;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
126 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
127 Dsymbol parent = outerfunc.toParent2();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
128 if (!parent)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
129 break;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
130 outerfunc = parent.isFuncDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
131 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
132
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
133 /* If ANY of its enclosing functions are pure,
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
134 * it cannot do anything impure.
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
135 * If it is pure, it cannot access any mutable variables other
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
136 * than those inside itself
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
137 */
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 130
diff changeset
138 if (hasPureParent && v.isDataseg() && !v.isImmutable())
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
139 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
140 error("pure function '%s' cannot access mutable static data '%s'",
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
141 sc.func.toChars(), v.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
142 }
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 130
diff changeset
143 else if (sc.func.isPure() && sc.parent != v.parent && !v.isImmutable() && !(v.storage_class & STC.STCmanifest))
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
144 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
145 error("pure nested function '%s' cannot access mutable data '%s'", sc.func.toChars(), v.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
146 if (v.isEnumDeclaration())
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
147 error("enum");
130
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
148 }
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
149
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
150 /* Do not allow safe functions to access __gshared data
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
151 */
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
152 if (sc.func.isSafe() && v.storage_class & STCgshared)
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
153 error("safe function '%s' cannot access __gshared data '%s'",
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
154 sc.func.toChars(), v.toChars());
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
155 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
156 } else {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
157 if (sc.func && sc.func.isPure() && !sc.intypeof)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
158 {
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 130
diff changeset
159 if (v.isDataseg() && !v.isImmutable())
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
160 error("pure function '%s' cannot access mutable static data '%s'", sc.func.toChars(), v.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
161 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
162 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
163 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
164 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
165 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
166 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
167 static if (false) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
168 if ((fd = var.isFuncLiteralDeclaration()) !is null)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
169 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
170 Expression e = new FuncExp(loc, fd);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
171 e.type = type;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
172 return e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
173 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
174 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
175 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
176
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
177 return this;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
178 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
179
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
180 override Expression optimize(int result)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
181 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
182 return fromConstInitializer(result, this);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
183 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
184
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
185 override Expression interpret(InterState istate)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
186 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
187 version (LOG) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
188 printf("VarExp.interpret() %.*s\n", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
189 }
63
cab4c37afb89 A bunch of implementations
korDen
parents: 45
diff changeset
190 return getVarExp(loc, istate, var);
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
191 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
192
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
193 override void dump(int indent)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
194 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
195 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
196 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
197
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
198 override string toChars()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
199 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
200 return var.toChars();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
201 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
202
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
203 override void toCBuffer(OutBuffer buf, HdrGenState* hgs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
204 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
205 buf.writestring(var.toChars());
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
206 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
207
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
208 override void checkEscape()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
209 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
210 VarDeclaration v = var.isVarDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
211 if (v)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
212 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
213 Type tb = v.type.toBasetype();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
214 // if reference type
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
215 if (tb.ty == TY.Tarray || tb.ty == TY.Tsarray || tb.ty == TY.Tclass)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
216 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
217 if ((v.isAuto() || v.isScope()) && !v.noauto)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
218 error("escaping reference to scope local %s", v.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
219 else if (v.storage_class & STC.STCvariadic)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
220 error("escaping reference to variadic parameter %s", v.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
221 }
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
222 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
223 }
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 130
diff changeset
224
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 130
diff changeset
225 override void checkEscapeRef()
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 130
diff changeset
226 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 130
diff changeset
227 VarDeclaration v = var.isVarDeclaration();
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 130
diff changeset
228 if (v)
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 130
diff changeset
229 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 130
diff changeset
230 if (!v.isDataseg() && !(v.storage_class & (STCref | STCout)))
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 130
diff changeset
231 error("escaping reference to local variable %s", v.toChars());
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 130
diff changeset
232 }
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 130
diff changeset
233 }
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
234
108
6da99741178e e2ir.c changes, mainly accounts for static arrays being value types now
Trass3r
parents: 73
diff changeset
235 version (DMDV2)
6da99741178e e2ir.c changes, mainly accounts for static arrays being value types now
Trass3r
parents: 73
diff changeset
236 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
237 override int isLvalue()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
238 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
239 if (var.storage_class & STClazy)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
240 return 0;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
241 return 1;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
242 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
243 }
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
244 override Expression toLvalue(Scope sc, Expression e)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
245 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
246 static if (false) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
247 tym = tybasic(e1.ET.Tty);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
248 if (!(tyscalar(tym) ||
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
249 tym == TYM.TYstruct ||
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
250 tym == TYM.TYarray && e.Eoper == TOK.TOKaddr))
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
251 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
252 synerr(EM_lvalue); // lvalue expected
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
253 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
254 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
255 if (var.storage_class & STC.STClazy)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
256 error("lazy variables cannot be lvalues");
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
257
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
258 return this;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
259 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
260
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
261 override Expression modifiableLvalue(Scope sc, Expression e)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
262 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
263 //printf("VarExp::modifiableLvalue('%s')\n", var.toChars());
109
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 108
diff changeset
264 //if (type && type.toBasetype().ty == TY.Tsarray)
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 108
diff changeset
265 // error("cannot change reference to static array '%s'", var.toChars());
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
266
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
267 var.checkModify(loc, sc, type);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
268
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
269 // See if this expression is a modifiable lvalue (i.e. not const)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
270 return toLvalue(sc, e);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
271 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
272
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
273 override dt_t** toDt(dt_t** pdt)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
274 {
148
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
275 // writef("VarExp::toDt() %d\n", op);
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
276 for (; *pdt; pdt = &((*pdt).DTnext))
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
277 {}
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
278
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
279 VarDeclaration v = var.isVarDeclaration();
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
280 if (v && (v.isConst() || v.isImmutable()) &&
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
281 type.toBasetype().ty != Tsarray && v.init)
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
282 {
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
283 if (v.inuse)
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
284 {
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
285 error("recursive reference %s", toChars());
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
286 return pdt;
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
287 }
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
288 v.inuse++;
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
289 *pdt = v.init.toDt();
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
290 v.inuse--;
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
291 return pdt;
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
292 }
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
293 SymbolDeclaration sd = var.isSymbolDeclaration();
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
294 if (sd && sd.dsym)
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
295 {
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
296 sd.dsym.toDt(pdt);
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
297 return pdt;
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
298 }
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
299 debug writef("VarExp::toDt(), kind = %s\n", var.kind());
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
300
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
301 error("non-constant expression %s", toChars());
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
302 pdt = dtnzeros(pdt, 1);
fe2e1b93e88f phobos compiles now:
Trass3r
parents: 135
diff changeset
303 return pdt;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
304 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
305
108
6da99741178e e2ir.c changes, mainly accounts for static arrays being value types now
Trass3r
parents: 73
diff changeset
306 version(DMDV1)
6da99741178e e2ir.c changes, mainly accounts for static arrays being value types now
Trass3r
parents: 73
diff changeset
307 override elem* toElem(IRState* irs)
6da99741178e e2ir.c changes, mainly accounts for static arrays being value types now
Trass3r
parents: 73
diff changeset
308 {
6da99741178e e2ir.c changes, mainly accounts for static arrays being value types now
Trass3r
parents: 73
diff changeset
309 assert(false);
6da99741178e e2ir.c changes, mainly accounts for static arrays being value types now
Trass3r
parents: 73
diff changeset
310 }
6da99741178e e2ir.c changes, mainly accounts for static arrays being value types now
Trass3r
parents: 73
diff changeset
311
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
312 override void scanForNestedRef(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
313 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
314 //printf("VarExp.scanForNestedRef(%s)\n", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
315 VarDeclaration v = var.isVarDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
316 if (v)
64
4290d870944a More fixes
korDen
parents: 63
diff changeset
317 v.checkNestedReference(sc, Loc(0));
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
318 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
319
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
320 override int inlineCost(InlineCostState* ics)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
321 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
322 //printf("VarExp.inlineCost() %s\n", toChars());
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
323 return 1;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
324 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
325
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
326 override Expression doInline(InlineDoState ids)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
327 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
328 int i;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
329
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
330 //printf("VarExp.doInline(%s)\n", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
331 for (i = 0; i < ids.from.dim; i++)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
332 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
333 if (var == cast(Declaration)ids.from.data[i])
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
334 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
335 VarExp ve = cast(VarExp)copy();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
336
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
337 ve.var = cast(Declaration)ids.to.data[i];
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
338 return ve;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
339 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
340 }
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
341 return this;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
342 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
343 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
344