Mercurial > projects > ldc
view tests/minicomplex/arrays1.d @ 1499:df11cdec45a2
Another shot at fixing the issues with (constant) struct literals and their addresses. See DMD2682, #218, #324.
The idea is to separate the notion of const from 'this variable can always be
replaced with its initializer' in the frontend. To do that, I introduced
Declaration::isSameAsInitializer, which is overridden in VarDeclaration to
return false for constants that have a struct literal initializer.
So
{{{
const S s = S(5);
void foo() { auto ps = &s; }
// is no longer replaced by
void foo() { auto ps = &(S(5)); }
}}}
To make taking the address of a struct constant with a struct-initializer
outside of function scope possible, I made sure that AddrExp::optimize doesn't
try to run the argument's optimization with WANTinterpret - that'd again
replace the constant with a struct literal temporary.
author | Christian Kamm <kamm incasoftware de> |
---|---|
date | Sun, 14 Jun 2009 19:49:58 +0200 |
parents | 1bb99290e03a |
children |
line wrap: on
line source
module tangotests.arrays1; import tango.stdc.stdio; void main() { real[] arr; print(arr); main2(); } void main2() { real[] arr = void; fill(arr); print(arr); main3(); } void main3() { } void print(real[] arr) { printf("len=%u ; ptr=%p\n", arr.length, arr.ptr); } void fill(ref real[] arr) { auto ptr = cast(void**)&arr; *ptr++ = cast(void*)0xbeefc0de; *ptr = cast(void*)0xbeefc0de; } void dg1(void delegate(int[]) dg) { dg2(dg); } void dg2(void delegate(int[]) dg) { dg(null); } void sarr1(int[16] sa) { sarr1(sa); } struct Str { size_t length; char* ptr; } void str1(Str str) { str1(str); } void str2(ref Str str) { str2(str); } void str3(out Str str) { str3(str); } void str4(Str* str) { str4(str); } void str5(Str);