[Issue 8292] New: segfaults on out contract
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Sun Jun 24 12:21:59 PDT 2012
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: nobody at puremagic.com
ReportedBy: tobias at pankrath.net
--- Comment #0 from Tobias Pankrath <tobias at 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: -------
More information about the Digitalmars-d-bugs
mailing list