[Issue 7337] subclasses without invariants don't check basisclass invariant after method

2012-01-29 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7337 yebblies changed: What|Removed |Added Keywords||wrong-code CC|

[Issue 7337] subclasses without invariants don't check basisclass invariant after method

2014-04-13 Thread d-bugmail
https://issues.dlang.org/show_bug.cgi?id=7337 Adrien Pensart changed: What|Removed |Added CC||cruncheng...@gmail.com --- Comment #2 from A

[Issue 7337] subclasses without invariants don't check basisclass invariant after method

2014-07-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=7337 --- Comment #3 from yebblies --- (In reply to Adrien Pensart from comment #2) > (In reply to yebblies from comment #1) > > This is currently disabled in FuncDeclaration::addPostInvariant, and > > enabling it causes a lot of error bugs in druntime and

[Issue 7337] subclasses without invariants don't check basisclass invariant after method

2014-07-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=7337 --- Comment #4 from Adrien Pensart --- I retried to fix this some month ago in days, but i'm not comfortable at all with dmd internals and i didn't succeed... it could take weeks for me to resolve this... i started writing a testcase into runnable/t

[Issue 7337] subclasses without invariants don't check basisclass invariant after method

2014-07-29 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=7337 --- Comment #5 from Adrien Pensart --- diff --git a/src/func.c b/src/func.c index 93ca8fd..395cb51 100644 --- a/src/func.c +++ b/src/func.c @@ -3933,7 +3933,7 @@ bool FuncDeclaration::addPostInvariant() AggregateDeclaration *ad = isThis(); C

[Issue 7337] subclasses without invariants don't check basisclass invariant after method

2014-07-30 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=7337 --- Comment #6 from yebblies --- I guess it wasn't so quick after all. --

[Issue 7337] subclasses without invariants don't check basisclass invariant after method

2022-07-14 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=7337 Dlang Bot changed: What|Removed |Added Keywords||pull --- Comment #7 from Dlang Bot --- @RazvanN7