digitalmars.D.bugs - [Issue 4510] New: accepts-invalid: ref with a wrong type specifier is accepted
- d-bugmail puremagic.com (24/24) Jul 26 2010 http://d.puremagic.com/issues/show_bug.cgi?id=4510
- d-bugmail puremagic.com (6/6) Jul 26 2010 http://d.puremagic.com/issues/show_bug.cgi?id=4510
- d-bugmail puremagic.com (8/8) May 19 2011 http://d.puremagic.com/issues/show_bug.cgi?id=4510
- d-bugmail puremagic.com (13/13) Jan 20 2012 http://d.puremagic.com/issues/show_bug.cgi?id=4510
- d-bugmail puremagic.com (11/11) Jun 01 2012 http://d.puremagic.com/issues/show_bug.cgi?id=4510
- d-bugmail puremagic.com (11/11) Jun 02 2012 http://d.puremagic.com/issues/show_bug.cgi?id=4510
- d-bugmail puremagic.com (9/9) Jun 02 2012 http://d.puremagic.com/issues/show_bug.cgi?id=4510
http://d.puremagic.com/issues/show_bug.cgi?id=4510
Summary: accepts-invalid: ref with a wrong type specifier is
accepted
Product: D
Version: D2
Platform: Other
OS/Version: Windows
Status: NEW
Severity: normal
Priority: P2
Component: DMD
AssignedTo: nobody puremagic.com
ReportedBy: andrej.mitrovich gmail.com
12:02:01 PDT ---
Taken from TDPL, the following test-case shouldn't compile:
void main() {
float[] arr = [1.0, 2.5, 4.0];
foreach (ref double elem; arr) {
elem /= 2;
}
}
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jul 26 2010
d-bugmail puremagic.com http://d.puremagic.com/issues/show_bug.cgi?id=4510 See also bug 3290 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jul 26 2010
http://d.puremagic.com/issues/show_bug.cgi?id=4510 19:28:18 PDT --- Should I add a wrong-code keyword to this? Floats might be implicitly convertible to double, however the foreach loop doesn't actually modify the arr array. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
May 19 2011
http://d.puremagic.com/issues/show_bug.cgi?id=4510
Brad Roberts <braddr puremagic.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |wrong-code
CC| |braddr puremagic.com
Summary|ref with a wrong type |[tdpl] ref with a wrong
|specifier is accepted |type specifier is accepted
OS/Version|Windows |All
Severity|normal |major
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jan 20 2012
http://d.puremagic.com/issues/show_bug.cgi?id=4510
Kenji Hara <k.hara.pg gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |pull
Platform|Other |All
https://github.com/D-Programming-Language/dmd/pull/977
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jun 01 2012
http://d.puremagic.com/issues/show_bug.cgi?id=4510 Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/4591279a8c2630d03fc5a18cd326ce19ecc4dd93 fix Issue 4510 - [tdpl] ref with a wrong type specifier is accepted https://github.com/D-Programming-Language/dmd/commit/62d6363c59362025b0c809ee865dd52d78cbf33c Issue 3290,4510,5435 - Add strict type check for foreach argument -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jun 02 2012
http://d.puremagic.com/issues/show_bug.cgi?id=4510
Walter Bright <bugzilla digitalmars.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jun 02 2012