Bug 6545 – [CTFE] Hard-coded array operations not yet supported
Status
RESOLVED
Resolution
FIXED
Severity
normal
Priority
P2
Component
dmd
Product
D
Version
D2
Platform
All
OS
All
Creation time
2011-08-23T02:08:00Z
Last change time
2015-06-09T05:11:52Z
Keywords
CTFE, pull, rejects-valid
Assigned to
yebblies
Creator
bearophile_hugs
Comments
Comment #0 by bearophile_hugs — 2011-08-23T02:08:53Z
This is a spinoff of bug 6511 See there for more details.
This D2 code:
T foo(T)() {
T[1] a = [1];
a[] += a[];
return a[0];
}
static assert(foo!int() == 2); // error
void main() {}
DMD 2.055beta gives:
test.d(3): Error: _arraySliceSliceAddass_i cannot be interpreted at compile time, because it has no available source code
test.d(6): Error: cannot evaluate foo() at compile time
test.d(6): Error: static assert (foo() == 2) is not evaluatable at compile time
This behaviour difference between long and int is not good.
Part of a comment by Don:
> the array operations which are special-cased in the
> runtime don't have special case treatment in the CTFE engine, since CTFE
> doesn't have access to the source code of druntime. The array ops which aren't
> special-cased don't use druntime code, so they should all work.