• d-bugmail puremagic.com (17/17) May 02 2013 http://d.puremagic.com/issues/show_bug.cgi?id=10018
• d-bugmail puremagic.com (8/8) May 02 2013 http://d.puremagic.com/issues/show_bug.cgi?id=10018
• d-bugmail puremagic.com (10/10) May 02 2013 http://d.puremagic.com/issues/show_bug.cgi?id=10018
• d-bugmail puremagic.com (8/9) May 02 2013 http://d.puremagic.com/issues/show_bug.cgi?id=10018
• d-bugmail puremagic.com (13/13) May 02 2013 http://d.puremagic.com/issues/show_bug.cgi?id=10018
• d-bugmail puremagic.com (13/14) Jul 10 2013 http://d.puremagic.com/issues/show_bug.cgi?id=10018
• d-bugmail puremagic.com (6/6) Jul 20 2013 http://d.puremagic.com/issues/show_bug.cgi?id=10018

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=10018

           Summary: Value range propagation for immutable variables
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody puremagic.com
        ReportedBy: lio+bugzilla lunesu.com



11:39:08 PDT ---
immutable int i = 1;    //range from initializer does not propagate

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=10018




12:32:38 PDT ---
https://github.com/D-Programming-Language/dmd/pull/1955

Not sure how to test this. There's no [portable] way of testing whether a range
is being propagated, is there?

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=10018


Andrej Mitrovic <andrej.mitrovich gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |andrej.mitrovich gmail.com



12:33:18 PDT ---
I don't understand the bug, what's the issue here?

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=10018




17:35:02 PDT ---

 I don't understand the bug, what's the issue here?

Any calculation with 'i' that uses VRP get the full int range, not the constant
1. The same holds for 'const int'.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=10018


Lionello Lunesu <lio+bugzilla lunesu.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P4



18:16:16 PDT ---
Degrading to P4, since in many cases, calling optimize() on the Expression
before doing getIntRange() will in fact return the constant range. 

Not closing until I've identified that indeed implementing
VarExp::getIntRange() would NOT have any effect.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=10018


bearophile_hugs eml.cc changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bearophile_hugs eml.cc




 https://github.com/D-Programming-Language/dmd/pull/1955

This is a good improvement for D. I hope you will fix and reopen your patch.

But I think this issue should be tagged as "enhancement".

See also Issue 10594  for an "improvement" of this idea.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=10018




Se also Issue 10685 , Issue 10615 , Issue 10594

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------