[Issue 14779] incorrect addressing of arguments in require/in-contract

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=14779

--- Comment #5 from github-bugzi...@puremagic.com ---
Commits pushed to dmd-cxx at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/9e6bc30b0997867d21b794b933cbf822e7d8cfa6
fix Issue 14779 - incorrect addressing of arguments in require/in-contract

https://github.com/dlang/dmd/commit/971b319e45c4e81825265fdb04363806a76bd4a0
Merge pull request #4803 from 9rnsr/fix14779

--

[Issue 14779] incorrect addressing of arguments in require/in-contract

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=14779

Kenji Hara  changed:

   What|Removed |Added

 CC||lt.infiltra...@gmail.com

--- Comment #4 from Kenji Hara  ---
*** Issue 15266 has been marked as a duplicate of this issue. ***

--

[Issue 14779] incorrect addressing of arguments in require/in-contract

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=14779

--- Comment #3 from github-bugzi...@puremagic.com ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/9e6bc30b0997867d21b794b933cbf822e7d8cfa6
fix Issue 14779 - incorrect addressing of arguments in require/in-contract

https://github.com/D-Programming-Language/dmd/commit/971b319e45c4e81825265fdb04363806a76bd4a0
Merge pull request #4803 from 9rnsr/fix14779

[REG] Issue 14779 - incorrect addressing of arguments in require/in-contract

--

[Issue 14779] incorrect addressing of arguments in require/in-contract

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=14779

--- Comment #1 from Kenji Hara k.hara...@gmail.com ---
Introduced in:
https://github.com/D-Programming-Language/dmd/pull/4788

And, I found a long-standing wrong-code issue with out-contract, which the root
issue would be same with.

class Foo
{
final @property void value(int val)
  //in  { assert(val == 0); }
out { assert(val == 0); }   // assertion fails
body
{
}
}

void main()
{
auto foo = new Foo();
foo.value = 0;
}

--

[Issue 14779] incorrect addressing of arguments in require/in-contract

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=14779

Kenji Hara k.hara...@gmail.com changed:

   What|Removed |Added

   Keywords||pull
   Hardware|x86_64  |All
 OS|Linux   |All

--- Comment #2 from Kenji Hara k.hara...@gmail.com ---
https://github.com/D-Programming-Language/dmd/pull/4803

--