Mercurial > projects > ldc
view dmd/attrib.h @ 1168:ab186e535e72
A different fix to #218 and DMD2682 that does not lead to constant folding regressions.
Fixes run/const_15, run/c/const_16_B.
The price is removing the lvalueness of struct literals. If it turns out too
much code depends on this behavior or we don't want to break with DMD, we
could keep struct literals as lvalues and instead convert struct literals used
as expression initializers into struct initializers.
author | Christian Kamm <kamm incasoftware de> |
---|---|
date | Sun, 29 Mar 2009 11:43:45 +0200 |
parents | dbe4af57b240 |
children | e961851fb8be |
line wrap: on
line source
// Compiler implementation of the D programming language // 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. #ifndef DMD_ATTRIB_H #define DMD_ATTRIB_H #ifdef __DMC__ #pragma once #endif /* __DMC__ */ #include "dsymbol.h" struct Expression; struct Statement; struct LabelDsymbol; struct Initializer; struct Module; struct Condition; #ifdef _DH struct HdrGenState; #endif /**************************************************************/ struct AttribDeclaration : Dsymbol { Array *decl; // array of Dsymbol's AttribDeclaration(Array *decl); virtual Array *include(Scope *sc, ScopeDsymbol *s); int addMember(Scope *sc, ScopeDsymbol *s, int memnum); void semantic(Scope *sc); void semantic2(Scope *sc); void semantic3(Scope *sc); void inlineScan(); void addComment(unsigned char *comment); void emitComment(Scope *sc); const char *kind(); int oneMember(Dsymbol **ps); int hasPointers(); void checkCtorConstInit(); void addLocalClass(ClassDeclarations *); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); AttribDeclaration *isAttribDeclaration() { return this; } #if IN_DMD virtual void toObjFile(int multiobj); // compile to .obj file int cvMember(unsigned char *p); #endif #if IN_LLVM virtual void codegen(Ir*); #endif }; struct StorageClassDeclaration: AttribDeclaration { unsigned stc; StorageClassDeclaration(unsigned stc, Array *decl); Dsymbol *syntaxCopy(Dsymbol *s); void semantic(Scope *sc); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); }; struct LinkDeclaration : AttribDeclaration { enum LINK linkage; LinkDeclaration(enum LINK p, Array *decl); Dsymbol *syntaxCopy(Dsymbol *s); void semantic(Scope *sc); void semantic3(Scope *sc); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); char *toChars(); }; struct ProtDeclaration : AttribDeclaration { enum PROT protection; ProtDeclaration(enum PROT p, Array *decl); Dsymbol *syntaxCopy(Dsymbol *s); void semantic(Scope *sc); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); }; struct AlignDeclaration : AttribDeclaration { unsigned salign; AlignDeclaration(Loc loc, unsigned sa, Array *decl); Dsymbol *syntaxCopy(Dsymbol *s); void semantic(Scope *sc); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); }; struct AnonDeclaration : AttribDeclaration { int isunion; Scope *scope; // !=NULL means context to use int sem; // 1 if successful semantic() AnonDeclaration(Loc loc, int isunion, Array *decl); Dsymbol *syntaxCopy(Dsymbol *s); void semantic(Scope *sc); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); const char *kind(); #if IN_LLVM void codegen(Ir*); #endif }; struct PragmaDeclaration : AttribDeclaration { Expressions *args; // array of Expression's PragmaDeclaration(Loc loc, Identifier *ident, Expressions *args, Array *decl); Dsymbol *syntaxCopy(Dsymbol *s); void semantic(Scope *sc); int oneMember(Dsymbol **ps); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); const char *kind(); #if IN_DMD void toObjFile(int multiobj); // compile to .obj file #endif #if IN_LLVM void codegen(Ir*); #endif }; struct ConditionalDeclaration : AttribDeclaration { Condition *condition; Array *elsedecl; // array of Dsymbol's for else block ConditionalDeclaration(Condition *condition, Array *decl, Array *elsedecl); Dsymbol *syntaxCopy(Dsymbol *s); int oneMember(Dsymbol **ps); void emitComment(Scope *sc); Array *include(Scope *sc, ScopeDsymbol *s); void addComment(unsigned char *comment); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); }; struct StaticIfDeclaration : ConditionalDeclaration { ScopeDsymbol *sd; int addisdone; StaticIfDeclaration(Condition *condition, Array *decl, Array *elsedecl); Dsymbol *syntaxCopy(Dsymbol *s); int addMember(Scope *sc, ScopeDsymbol *s, int memnum); void semantic(Scope *sc); const char *kind(); }; // Mixin declarations struct CompileDeclaration : AttribDeclaration { Expression *exp; ScopeDsymbol *sd; int compiled; CompileDeclaration(Loc loc, Expression *exp); Dsymbol *syntaxCopy(Dsymbol *s); int addMember(Scope *sc, ScopeDsymbol *sd, int memnum); void compileIt(Scope *sc); void semantic(Scope *sc); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); }; #endif /* DMD_ATTRIB_H */