Mercurial > projects > ldc

annotate runtime/internal/invariant.d @ 1650:40bd4a0d4870

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update to work with LLVM 2.7. Removed use of dyn_cast, llvm no compiles without exceptions and rtti by default. We do need exceptions for the libconfig stuff, but rtti isn't necessary (anymore). Debug info needs to be rewritten, as in LLVM 2.7 the format has completely changed. To have something to look at while rewriting, the old code has been wrapped inside #ifndef DISABLE_DEBUG_INFO , this means that you have to define this to compile at the moment. Updated tango 0.99.9 patch to include updated EH runtime code, which is needed for LLVM 2.7 as well.
author Tomas Lindquist Olsen
date Wed, 19 May 2010 12:42:32 +0200
parents d7ec997de427
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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 }