http://d.puremagic.com/issues/show_bug.cgi?id=8292
Summary: segfaults on out contract Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: normal Priority: P2 Component: DMD AssignedTo: nob...@puremagic.com ReportedBy: tob...@pankrath.net --- Comment #0 from Tobias Pankrath <tob...@pankrath.net> 2012-06-24 12:24:26 PDT --- dmd segfault.d segfaults, if segfault.d contains -- module sat; import std.container; struct Literal { Var var; bool sign; } struct Var { size_t idx; alias idx this; } struct Clause { Literal[] literals; alias literals this; } struct Watchers { Array!(Array!(Clause*)*) watchlist; alias watchlist this; Array!(Clause*)* opIndex(Literal lit) { return watchlist[index(lit)]; } size_t index(Literal lit) { return lit.var + lit.sign; } void watch(Literal lit, Clause* cls) out { assert((*this[lit]).length > 0); } body { } } void main() {} -- It does not segfault if the out-contract is not included. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------