[Issue 8433] Compiler could warn on static if checks which can't branch

2019-10-10 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=8433

RazvanN  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||razvan.nitu1...@gmail.com
 Resolution|--- |WONTFIX

--- Comment #4 from RazvanN  ---
I think that it is safe to close this now.

--


[Issue 8433] Compiler could warn on static if checks which can't branch

2018-10-18 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=8433

Mathias LANG  changed:

   What|Removed |Added

 CC||pro.mathias.l...@gmail.com

--- Comment #3 from Mathias LANG  ---
My issue with such a check is that the code is not *clearly* wrong.
As a result, it can trigger false positive (very easily, given D's
metaprogramming abilities) and those are extremely frustrating to the user and
mostly negate the benefits of the warning (because the one benefiting from it
are not the ones "paying the price").

It's been 6 years, do you think we should close this ?

--


[Issue 8433] Compiler could warn on static if checks which can't branch

2012-07-25 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8433



--- Comment #2 from Andrej Mitrovic  2012-07-25 
11:12:27 PDT ---
I'd like to just keep this in Bugzilla for the time being. I know it's
problematic and might even slow down compilation considerably, so maybe it's
best to just discuss about it sometime. It could be a nice feature to have if
you rely on compile-time branching a lot.

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


[Issue 8433] Compiler could warn on static if checks which can't branch

2012-07-25 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8433


Walter Bright  changed:

   What|Removed |Added

 CC||bugzi...@digitalmars.com


--- Comment #1 from Walter Bright  2012-07-25 
10:51:40 PDT ---
The trouble with a language feature like this is defining it. You'd have to
enumerate the cases that are detected and the cases that are not, which has the
side effect of prohibiting improving it. You don't really want a situation
where code compiles with one compiler and does not with another, even with both
being standard conforming.

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