Mercurial > projects > ldc
view dmd/staticassert.c @ 54:28e99b04a132 trunk
[svn r58] Fixed cond expression resulting in a non-basic type.
Fixed identity expression for dynamic arrays.
Revamped the system to keep track of lvalues and rvalues and their relations.
Typedef declaration now generate the custom typeinfo.
Other bugfixes.
author | lindquist |
---|---|
date | Wed, 24 Oct 2007 01:37:34 +0200 |
parents | 788401029ecf |
children | aaade6ded589 |
line wrap: on
line source
// Copyright (c) 1999-2007 by Digital Mars // All Rights Reserved // written by Walter Bright // http://www.digitalmars.com // License for redistribution is by either the Artistic License // in artistic.txt, or the GNU General Public License in gnu.txt. // See the included readme.txt for details. #include <stdio.h> #include <string.h> #include <assert.h> #include "dsymbol.h" #include "staticassert.h" #include "expression.h" #include "id.h" #include "hdrgen.h" /********************************* AttribDeclaration ****************************/ StaticAssert::StaticAssert(Loc loc, Expression *exp, Expression *msg) : Dsymbol(Id::empty) { this->loc = loc; this->exp = exp; this->msg = msg; } Dsymbol *StaticAssert::syntaxCopy(Dsymbol *s) { StaticAssert *sa; assert(!s); sa = new StaticAssert(loc, exp->syntaxCopy(), msg ? msg->syntaxCopy() : NULL); return sa; } int StaticAssert::addMember(Scope *sc, ScopeDsymbol *sd, int memnum) { return 0; // we didn't add anything } void StaticAssert::semantic(Scope *sc) { } void StaticAssert::semantic2(Scope *sc) { Expression *e; //printf("StaticAssert::semantic2() %s\n", toChars()); e = exp->semantic(sc); e = e->optimize(WANTvalue | WANTinterpret); if (e->isBool(FALSE)) { if (msg) { HdrGenState hgs; OutBuffer buf; msg = msg->semantic(sc); msg = msg->optimize(WANTvalue | WANTinterpret); hgs.console = 1; msg->toCBuffer(&buf, &hgs); error("%s", buf.toChars()); } else error("is false"); if (!global.gag) fatal(); } else if (!e->isBool(TRUE)) { error("(%s) is not evaluatable at compile time", exp->toChars()); } } int StaticAssert::oneMember(Dsymbol **ps) { //printf("StaticAssert::oneMember())\n"); *ps = NULL; return TRUE; } void StaticAssert::inlineScan() { } void StaticAssert::toObjFile() { } char *StaticAssert::kind() { return "static assert"; } void StaticAssert::toCBuffer(OutBuffer *buf, HdrGenState *hgs) { buf->writestring(kind()); buf->writeByte('('); exp->toCBuffer(buf, hgs); if (msg) { buf->writeByte(','); msg->toCBuffer(buf, hgs); } buf->writestring(");"); buf->writenl(); }