D/ldc
1
0
Fork 0
mirror of https://github.com/xomboverlord/ldc.git synced 2026-09-17 19:07:05 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merged DMD 2.021 frontend.

Browse Source 
Removed generated files from dmd/dmd2 dirs.
This commit is contained in:
Tomas Lindquist Olsen
2008-12-13 16:14:37 +01:00
parent 6716aecc52
commit b7bea99dbb
32 changed files with 744 additions and 1938 deletions
Download Patch File Download Diff File Expand all files Collapse all files
dmd2/mtype.c
+53 -2
View File
@@ -2802,7 +2802,7 @@ Expression *TypeAArray::defaultInit(Loc loc)
int TypeAArray::isZeroInit()
{
return 1;
return TRUE;
}
int TypeAArray::checkBoolean()
@@ -3145,7 +3145,10 @@ int Type::covariant(Type *t)
if (!arg1->type->equals(arg2->type))
goto Ldistinct;
if (arg1->storageClass != arg2->storageClass)
if ((arg1->storageClass & ~STCscope) != (arg2->storageClass & ~STCscope))
inoutmismatch = 1;
// We can add scope, but not subtract it
if (!(arg1->storageClass & STCscope) && (arg2->storageClass & STCscope))
inoutmismatch = 1;
}
}
@@ -3650,6 +3653,41 @@ Type *TypeFunction::reliesOnTident()
return next->reliesOnTident();
}
/***************************
* Examine function signature for parameter p and see if
* p can 'escape' the scope of the function.
*/
bool TypeFunction::parameterEscapes(Argument *p)
{
/* Scope parameters do not escape.
* Allow 'lazy' to imply 'scope' -
* lazy parameters can be passed along
* as lazy parameters to the next function, but that isn't
* escaping.
*/
if (p->storageClass & (STCscope | STClazy))
return FALSE;
if (ispure)
{ /* With pure functions, we need only be concerned if p escapes
* via any return statement.
*/
Type* tret = nextOf()->toBasetype();
if (!isref && !tret->hasPointers())
{ /* The result has no references, so p could not be escaping
* that way.
*/
return FALSE;
}
}
/* Assume it escapes in the absence of better information.
*/
return TRUE;
}
/***************************** TypeDelegate *****************************/
TypeDelegate::TypeDelegate(Type *t)
@@ -4598,6 +4636,12 @@ Expression *TypeEnum::getProperty(Loc loc, Identifier *ident)
{
e = defaultInit(loc);
}
else if (ident == Id::stringof)
{ char *s = toChars();
e = new StringExp(loc, s, strlen(s), 'c');
Scope sc;
e = e->semantic(&sc);
}
else
{
e = toBasetype()->getProperty(loc, ident);
@@ -6192,10 +6236,15 @@ void Argument::argsToCBuffer(OutBuffer *buf, HdrGenState *hgs, Arguments *argume
else if (arg->storageClass & STCauto)
buf->writestring("auto ");
if (arg->storageClass & STCscope)
buf->writestring("scope ");
if (arg->storageClass & STCconst)
buf->writestring("const ");
if (arg->storageClass & STCinvariant)
buf->writestring("invariant ");
if (arg->storageClass & STCshared)
buf->writestring("shared ");
argbuf.reset();
if (arg->storageClass & STCalias)
@@ -6292,6 +6341,8 @@ Type *Argument::isLazyArray()
void Argument::toDecoBuffer(OutBuffer *buf)
{
if (storageClass & STCscope)
buf->writeByte('M');
switch (storageClass & (STCin | STCout | STCref | STClazy))
{ case 0:
case STCin: