a3b38b7781
Splits out all semantic passes for Dsymbol, Type, and TemplateParameter nodes into Visitors in separate files, and the copyright years of all sources have been updated. Reviewed-on: https://github.com/dlang/dmd/pull/12190 gcc/d/ChangeLog: * dmd/MERGE: Merge upstream dmd 7132b3537. * Make-lang.in (D_FRONTEND_OBJS): Add d/dsymbolsem.o, d/semantic2.o, d/semantic3.o, and d/templateparamsem.o. * d-compiler.cc (Compiler::genCmain): Update calls to semantic entrypoint functions. * d-lang.cc (d_parse_file): Likewise. * typeinfo.cc (make_frontend_typeinfo): Likewise.
56 lines
1.3 KiB
C
56 lines
1.3 KiB
C
|
|
/* Compiler implementation of the D programming language
|
|
* Copyright (C) 1999-2021 by The D Language Foundation, All Rights Reserved
|
|
* written by Walter Bright
|
|
* http://www.digitalmars.com
|
|
* Distributed under the Boost Software License, Version 1.0.
|
|
* http://www.boost.org/LICENSE_1_0.txt
|
|
* https://github.com/D-Programming-Language/dmd/blob/master/src/staticassert.c
|
|
*/
|
|
|
|
#include "root/dsystem.h"
|
|
|
|
#include "mars.h"
|
|
#include "dsymbol.h"
|
|
#include "staticassert.h"
|
|
#include "expression.h"
|
|
#include "id.h"
|
|
#include "scope.h"
|
|
#include "template.h"
|
|
#include "declaration.h"
|
|
|
|
bool evalStaticCondition(Scope *sc, Expression *exp, Expression *e, bool &errors);
|
|
|
|
/********************************* 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)
|
|
{
|
|
assert(!s);
|
|
return new StaticAssert(loc, exp->syntaxCopy(), msg ? msg->syntaxCopy() : NULL);
|
|
}
|
|
|
|
void StaticAssert::addMember(Scope *, ScopeDsymbol *)
|
|
{
|
|
// we didn't add anything
|
|
}
|
|
|
|
bool StaticAssert::oneMember(Dsymbol **ps, Identifier *)
|
|
{
|
|
//printf("StaticAssert::oneMember())\n");
|
|
*ps = NULL;
|
|
return true;
|
|
}
|
|
|
|
const char *StaticAssert::kind() const
|
|
{
|
|
return "static assert";
|
|
}
|