Mercurial > projects > ldc
annotate runtime/internal/invariant.d @ 1621:fb2e6707ad17
Merge DMD r314+r315: bugzilla 2029 Typesafe variadic functions don't...
Both DMD revisions are for fixing bugzilla 2029 (Typesafe variadic
functions don't work in CTFE).
The DMD r314 commit message is:
bugzilla 2029 (Typesafe variadic functions don't work in CTFE
The DMD r315 commit message is:
bugzilla 2029 - try again
---
dmd/constfold.c | 11 ++++-
dmd/declaration.c | 21 +++++++++-
dmd/declaration.h | 10 ++++-
dmd/expression.c | 1 +
dmd/interpret.c | 111 +++++++++++++++++++++++++++++++++++++++++++++--------
dmd/mars.h | 2 +-
dmd/mtype.c | 2 +-
7 files changed, 135 insertions(+), 23 deletions(-)
author | Leandro Lucarella <llucax@gmail.com> |
---|---|
date | Wed, 06 Jan 2010 15:18:22 -0300 |
parents | d7ec997de427 |
children |
rev | line source |
---|---|
530
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
1 |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
2 /* |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
3 * Placed into the Public Domain |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
4 * written by Walter Bright |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
5 * www.digitalmars.com |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
6 */ |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
7 |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
8 extern(C) void _d_invariant(Object o) |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
9 { ClassInfo c; |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
10 |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
11 //printf("__d_invariant(%p)\n", o); |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
12 |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
13 // BUG: needs to be filename/line of caller, not library routine |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
14 assert(o !is null); // just do null check, not invariant check |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
15 |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
16 c = o.classinfo; |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
17 do |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
18 { |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
19 if (c.classInvariant) |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
20 { |
1440
d7ec997de427
Adjust runtime for recent ABI change on x86-64, since member functions are no
Frits van Bommel <fvbommel wxs.nl>
parents:
530
diff
changeset
|
21 void delegate() inv; |
d7ec997de427
Adjust runtime for recent ABI change on x86-64, since member functions are no
Frits van Bommel <fvbommel wxs.nl>
parents:
530
diff
changeset
|
22 inv.ptr = cast(void*) o; |
d7ec997de427
Adjust runtime for recent ABI change on x86-64, since member functions are no
Frits van Bommel <fvbommel wxs.nl>
parents:
530
diff
changeset
|
23 inv.funcptr = c.classInvariant; |
d7ec997de427
Adjust runtime for recent ABI change on x86-64, since member functions are no
Frits van Bommel <fvbommel wxs.nl>
parents:
530
diff
changeset
|
24 inv(); |
530
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
25 } |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
26 c = c.base; |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
27 } while (c); |
d30c40f1128d
Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff
changeset
|
28 } |