Mercurial > projects > ldc

annotate dmd/staticassert.c @ 1612:081c48283153

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge DMD r278: bugzilla 370 Compiler stack overflow on recursive... bugzilla 370 Compiler stack overflow on recursive typeof in function declaration. --- dmd/expression.c | 1 + dmd/mtype.c | 7 +++++-- 2 files changed, 6 insertions(+), 2 deletions(-)
author Leandro Lucarella <llucax@gmail.com>
date Wed, 06 Jan 2010 15:18:21 -0300
parents 1b24e9c7cc26
children 3da302cc4966
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1606
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
1
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
2 // Copyright (c) 1999-2007 by Digital Mars
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
3 // All Rights Reserved
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
4 // written by Walter Bright
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
5 // http://www.digitalmars.com
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
6 // License for redistribution is by either the Artistic License
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
7 // in artistic.txt, or the GNU General Public License in gnu.txt.
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
8 // See the included readme.txt for details.
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
9
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
10 #include <stdio.h>
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
11 #include <string.h>
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
12 #include <assert.h>
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
13
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
14 #include "dsymbol.h"
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
15 #include "staticassert.h"
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
16 #include "expression.h"
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
17 #include "id.h"
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
18 #include "hdrgen.h"
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
19 #include "scope.h"
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
20 #include "template.h"
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
21
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
22
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
23 /********************************* AttribDeclaration ****************************/
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
24
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
25 StaticAssert::StaticAssert(Loc loc, Expression *exp, Expression *msg)
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
26 : Dsymbol(Id::empty)
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
27 {
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
28 this->loc = loc;
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
29 this->exp = exp;
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
30 this->msg = msg;
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
31 }
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
32
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
33 Dsymbol *StaticAssert::syntaxCopy(Dsymbol *s)
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
34 {
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
35 StaticAssert *sa;
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
36
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
37 assert(!s);
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
38 sa = new StaticAssert(loc, exp->syntaxCopy(), msg ? msg->syntaxCopy() : NULL);
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
39 return sa;
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
40 }
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
41
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
42 int StaticAssert::addMember(Scope *sc, ScopeDsymbol *sd, int memnum)
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
43 {
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
44 return 0; // we didn't add anything
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
45 }
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
46
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
47 void StaticAssert::semantic(Scope *sc)
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
48 {
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
49 }
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
50
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
51 #include "scope.h"
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
52 #include "template.h"
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
53 #include "declaration.h"
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
54
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
55 void StaticAssert::semantic2(Scope *sc)
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
56 {
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
57 Expression *e;
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
58
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
59 //printf("StaticAssert::semantic2() %s\n", toChars());
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
60 e = exp->semantic(sc);
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
61 e = e->optimize(WANTvalue | WANTinterpret);
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
62 if (e->isBool(FALSE))
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
63 {
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
64 if (msg)
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
65 { HdrGenState hgs;
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
66 OutBuffer buf;
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
67
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
68 msg = msg->semantic(sc);
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
69 msg = msg->optimize(WANTvalue | WANTinterpret);
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
70 hgs.console = 1;
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
71 msg->toCBuffer(&buf, &hgs);
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
72 error("%s", buf.toChars());
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
73 }
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
74 else
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
75 error("(%s) is false", exp->toChars());
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
76 if(sc->tinst)
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
77 sc->tinst->printInstantiationTrace();
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
78 if (!global.gag) {
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
79 fatal();
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
80 }
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
81 }
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
82 else if (!e->isBool(TRUE))
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
83 {
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
84 error("(%s) is not evaluatable at compile time", exp->toChars());
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
85 }
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
86 }
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
87
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
88 int StaticAssert::oneMember(Dsymbol **ps)
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
89 {
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
90 //printf("StaticAssert::oneMember())\n");
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
91 *ps = NULL;
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
92 return TRUE;
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
93 }
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
94
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
95 void StaticAssert::inlineScan()
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
96 {
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
97 }
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
98
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
99 void StaticAssert::toObjFile(int multiobj)
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
100 {
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
101 }
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
102
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
103 const char *StaticAssert::kind()
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
104 {
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
105 return "static assert";
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
106 }
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
107
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
108 void StaticAssert::toCBuffer(OutBuffer *buf, HdrGenState *hgs)
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
109 {
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
110 buf->writestring(kind());
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
111 buf->writeByte('(');
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
112 exp->toCBuffer(buf, hgs);
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
113 if (msg)
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
114 {
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
115 buf->writeByte(',');
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
116 msg->toCBuffer(buf, hgs);
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
117 }
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
118 buf->writestring(");");
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
119 buf->writenl();
1b24e9c7cc26 Use just \n as end of line
Leandro Lucarella <llucax@gmail.com>
parents: 1367
diff changeset
120 }