[Issue 10310] VRP for bitwise &|^ does not always produce the tightest bounds.
https://issues.dlang.org/show_bug.cgi?id=10310 --- Comment #6 from github-bugzi...@puremagic.com --- Commits pushed to stable at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/1757224765982088b8454500aeecdd0a08473475 VRP and,or,xor + fix issue 10310 https://github.com/dlang/dmd/commit/6395d48df6cc0f809c4dcb8b2e25b43d34908628 Merge pull request #7317 from somzzz/vrp_andOr --
[Issue 10310] VRP for bitwise &|^ does not always produce the tightest bounds.
https://issues.dlang.org/show_bug.cgi?id=10310 github-bugzi...@puremagic.com changed: What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED --
[Issue 10310] VRP for bitwise &|^ does not always produce the tightest bounds.
https://issues.dlang.org/show_bug.cgi?id=10310 --- Comment #5 from github-bugzi...@puremagic.com --- Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/1757224765982088b8454500aeecdd0a08473475 VRP and,or,xor + fix issue 10310 https://github.com/dlang/dmd/commit/6395d48df6cc0f809c4dcb8b2e25b43d34908628 Merge pull request #7317 from somzzz/vrp_andOr VRP for and,or,xor + Refactoring intrange.d + Fix Issue 10310 merged-on-behalf-of: Andrei Alexandrescu --
[Issue 10310] VRP for bitwise &|^ does not always produce the tightest bounds.
https://issues.dlang.org/show_bug.cgi?id=10310 Andrei Alexandrescu changed: What|Removed |Added CC||and...@erdani.com --- Comment #4 from Andrei Alexandrescu --- https://github.com/dlang/dmd/pull/7317 --
[Issue 10310] VRP for bitwise &|^ does not always produce the tightest bounds.
http://d.puremagic.com/issues/show_bug.cgi?id=10310 --- Comment #3 from timon.g...@gmx.ch 2013-06-09 03:54:00 PDT --- (In reply to comment #2) > I cannot merge code copyrighted by others into DMD that has a license more > restrictive than Boost. This impairs licensing and copyright assignment. > Furthermore, having bits and pieces of the source code with random different > copyrights is simply unworkable. > > Code to be merged needs to conform to the original copyright for the file. I > will be happy to give you authorship credit if you desire. I don't care that much (or know that much) about copyright, but code that is posted in bugzilla is placed into the public domain by default. You can use the code under the boost licence. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 10310] VRP for bitwise &|^ does not always produce the tightest bounds.
http://d.puremagic.com/issues/show_bug.cgi?id=10310 Walter Bright changed: What|Removed |Added CC||bugzi...@digitalmars.com --- Comment #2 from Walter Bright 2013-06-08 18:15:36 PDT --- I cannot merge code copyrighted by others into DMD that has a license more restrictive than Boost. This impairs licensing and copyright assignment. Furthermore, having bits and pieces of the source code with random different copyrights is simply unworkable. Code to be merged needs to conform to the original copyright for the file. I will be happy to give you authorship credit if you desire. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 10310] VRP for bitwise &|^ does not always produce the tightest bounds.
http://d.puremagic.com/issues/show_bug.cgi?id=10310
--- Comment #1 from timon.g...@gmx.ch 2013-06-08 16:41:16 PDT ---
Example test case that fails now and will work after the changes have been
implemented:
void main(){
uint y;
ubyte x = ((y&252)^2)+1;
}
The computed range for the right-hand-side expression is 1..255 (inclusive).
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
