Mercurial > projects > ldc
view dmd2/init.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 | f04dde6e882c |
children | 638d16625da2 |
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 INIT_H #define INIT_H #include "root.h" #include "mars.h" #include "arraytypes.h" struct Identifier; struct Expression; struct Scope; struct Type; struct dt_t; struct AggregateDeclaration; struct VoidInitializer; struct StructInitializer; struct ArrayInitializer; struct ExpInitializer; struct StructInitializer; #ifdef _DH struct HdrGenState; #endif struct Initializer : Object { Loc loc; Initializer(Loc loc); virtual Initializer *syntaxCopy(); virtual Initializer *semantic(Scope *sc, Type *t); virtual Type *inferType(Scope *sc); virtual Expression *toExpression() = 0; virtual void toCBuffer(OutBuffer *buf, HdrGenState *hgs) = 0; char *toChars(); static Initializers *arraySyntaxCopy(Initializers *ai); virtual dt_t *toDt(); virtual VoidInitializer *isVoidInitializer() { return NULL; } virtual StructInitializer *isStructInitializer() { return NULL; } virtual ArrayInitializer *isArrayInitializer() { return NULL; } virtual ExpInitializer *isExpInitializer() { return NULL; } }; struct VoidInitializer : Initializer { Type *type; // type that this will initialize to VoidInitializer(Loc loc); Initializer *syntaxCopy(); Initializer *semantic(Scope *sc, Type *t); Expression *toExpression(); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); dt_t *toDt(); virtual VoidInitializer *isVoidInitializer() { return this; } }; struct StructInitializer : Initializer { Identifiers field; // of Identifier *'s Initializers value; // parallel array of Initializer *'s Array vars; // parallel array of VarDeclaration *'s AggregateDeclaration *ad; // which aggregate this is for StructInitializer(Loc loc); Initializer *syntaxCopy(); void addInit(Identifier *field, Initializer *value); Initializer *semantic(Scope *sc, Type *t); Expression *toExpression(); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); dt_t *toDt(); StructInitializer *isStructInitializer() { return this; } }; struct ArrayInitializer : Initializer { Expressions index; // indices Initializers value; // of Initializer *'s unsigned dim; // length of array being initialized Type *type; // type that array will be used to initialize int sem; // !=0 if semantic() is run ArrayInitializer(Loc loc); Initializer *syntaxCopy(); void addInit(Expression *index, Initializer *value); Initializer *semantic(Scope *sc, Type *t); Type *inferType(Scope *sc); Expression *toExpression(); Initializer *toAssocArrayInitializer(); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); dt_t *toDt(); dt_t *toDtBit(); // for bit arrays ArrayInitializer *isArrayInitializer() { return this; } }; struct ExpInitializer : Initializer { Expression *exp; ExpInitializer(Loc loc, Expression *exp); Initializer *syntaxCopy(); Initializer *semantic(Scope *sc, Type *t); Type *inferType(Scope *sc); Expression *toExpression(); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); dt_t *toDt(); virtual ExpInitializer *isExpInitializer() { return this; } }; #endif