Mercurial > projects > ldc
view dmd/staticassert.c @ 1356:59c2aa9def23
Enabled fix for ticket #294 . It will try it's best to let LLVM handle the alignment, and fall back to manual padding when that's not possible. If this causes problems again, we'll have to consistently pad manually using packed structs.
author | Tomas Lindquist Olsen <tomas.l.olsen gmail com> |
---|---|
date | Fri, 15 May 2009 17:05:35 +0200 |
parents | d4e95db0e62b |
children | 8026319762be |
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" #include "scope.h" #include "template.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(sc->tinst) sc->tinst->printInstantiationTrace(); 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(int multiobj) { } const 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(); }