[Issue 14419] [CTFE] Need infinite loop detection?

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14419 --- Comment #11 from Ketmar Dark ket...@ketmar.no-ip.org --- (In reply to Jens Bauer from comment #10) (This particular web-browser actually *had* a loop detection on the Javascript, and it was impossible for me to trick it). it's very easy to

[Issue 14419] [CTFE] Need infinite loop detection?

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14419 --- Comment #9 from Martin Nowak c...@dawg.eu --- For an AST interpreter this would mean you'd need to snapshot loop conditions to compare them, right? Sounds like slowing down interpretation and making a JITed interpreter much harder for a hacky fix

[Issue 14419] [CTFE] Need infinite loop detection?

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14419 --- Comment #10 from Jens Bauer jens-bugzi...@gpio.dk --- (In reply to Martin Nowak from comment #9) If you really think we should fix this, then a time limit for CTFE execution might be feasible. I think it would be a good thing to at least

[Issue 14416] .sizeof yields 1 for uninstantiated struct templates

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14416 --- Comment #2 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/4d216e8922e94cf868a7c07ffbb1e941d5ae6060 fix Issue 14416 - .sizeof

[Issue 14419] [CTFE] Need infinite loop detection?

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14419 --- Comment #12 from Jens Bauer jens-bugzi...@gpio.dk --- (In reply to Ketmar Dark from comment #3) alias extern(C) immutable void function () VectorFunc; VectorFunc[3] g_pfnVectors = [ Reset_Handler, ]; extern(C) void Reset_Handler () {

[Issue 14415] globMatch should support recursive matching (**)

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14415 --- Comment #1 from Martin Nowak c...@dawg.eu --- In fact the existing * already matches across directories, which it shouldn't do. --

[Issue 14419] [CTFE] Need infinite loop detection?

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14419 --- Comment #8 from Ketmar Dark ket...@ketmar.no-ip.org --- determining finiteness of arbitrary algorithm is one of the greatest problems of current AI research. ;-) i believe that it's better to not start. the code for checking various cases will

[Issue 14406] [REG2.068a] GIT HEAD ignores forward reference and generates wrong code

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14406 github-bugzi...@puremagic.com changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 14406] [REG2.068a] GIT HEAD ignores forward reference and generates wrong code

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14406 --- Comment #5 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/4d91f33111d54ed09b9275b48bd65d243a3e3f05 fix Issue 14406 - GIT HEAD

[Issue 14419] [CTFE] Need infinite loop detection?

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14419 --- Comment #13 from Steven Schveighoffer schvei...@yahoo.com --- (In reply to Jens Bauer from comment #12) There is another detail here, which I just noticed: In the array, I do not give the function any arguments / parameters. -Shouldn't that

[Issue 14409] false positive Error: one path skips constructor

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14409 --- Comment #3 from github-bugzi...@puremagic.com --- Commit pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/a8bf624389f74d826d18e80d2140a1e7f6733470 fix Issue 14409 - false

[Issue 14376] [REG2.064] false positive Error: one path skips field

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14376 --- Comment #4 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/8691c0c3579107b48e044e01ac340d86f00f885a fix Issue 14376 - false

[Issue 14409] false positive Error: one path skips constructor

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14409 github-bugzi...@puremagic.com changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 12891] add atomicFetchAdd and atomicFetchSub to core.atomic

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=12891 --- Comment #11 from Jonathan Dunlap jad...@gmail.com --- I've created a placeholder PR for this work below: https://github.com/D-Programming-Language/druntime/pull/1208 Again, my current GH branch for this is here:

[Issue 12891] add atomicFetchAdd and atomicFetchSub to core.atomic

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=12891 Jonathan Dunlap jad...@gmail.com changed: What|Removed |Added Assignee|nob...@puremagic.com|jad...@gmail.com ---

[Issue 12891] add atomicFetchAdd and atomicFetchSub to core.atomic

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=12891 Jonathan Dunlap jad...@gmail.com changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #9

[Issue 14417] Wrong argument type for _d_cover_register2

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14417 --- Comment #1 from Johan Engelen goejenda...@zonnet.nl --- Created attachment 1509 -- https://issues.dlang.org/attachment.cgi?id=1509action=edit Patch for fix proposal 1 A patch explaining what I mean with option 1. --

[Issue 14416] .sizeof yields 1 for uninstantiated struct templates

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14416 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Keywords||pull Hardware|x86

[Issue 14381] It is too difficult to contribute to the auto-tester

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14381 --- Comment #6 from Martin Nowak c...@dawg.eu --- We could move the build/test scripts into the DMD/druntime/phobos repos, that would help with things such as this. https://github.com/D-Programming-Language/druntime/pull/1206 --

[Issue 14417] New: Wrong argument type for _d_cover_register2

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14417 Issue ID: 14417 Summary: Wrong argument type for _d_cover_register2 Product: D Version: D2 Hardware: All OS: All Status: NEW Severity: normal

[Issue 14417] Wrong argument type for _d_cover_register2

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14417 --- Comment #2 from Johan Engelen goejenda...@zonnet.nl --- Created attachment 1510 -- https://issues.dlang.org/attachment.cgi?id=1510action=edit Patch for fix proposal 2 --

[Issue 14417] Wrong argument type for _d_cover_register2

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14417 --- Comment #3 from Johan Engelen goejenda...@zonnet.nl --- Note, the BitArray code can be made much simpler by changing to a fixed-size type like ubyte, instead of using size_t: ubyte[] valid ubyte* valid_ptr size_t valid_len --

[Issue 14418] New: D-style Variadic Function example does not compile

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14418 Issue ID: 14418 Summary: D-style Variadic Function example does not compile Product: D Version: D2 Hardware: All OS: All Status: NEW Severity: normal

[Issue 4733] Possible bugs caused by dynamic arrays in boolean evaluation context

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=4733 github-bugzi...@puremagic.com changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 4733] Possible bugs caused by dynamic arrays in boolean evaluation context

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=4733 --- Comment #29 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/727233c9c5c1d81d13527f74b0a640f546f28a6c Fix Issue 4733 - Possible

[Issue 14417] Wrong argument type for _d_cover_register2

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14417 Johan Engelen goejenda...@zonnet.nl changed: What|Removed |Added CC||goejenda...@zonnet.nl

[Issue 14419] [CTFE] Need infinite loop detection?

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14419 --- Comment #2 from Kenji Hara k.hara...@gmail.com --- (In reply to Iain Buclaw from comment #0) This was noticed and raised in GDC Bugzilla #178 because of a typo in the code. http://bugzilla.gdcproject.org/show_bug.cgi?id=178 What it

[Issue 14419] [CTFE] Need infinite loop detection?

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14419 --- Comment #4 from Ketmar Dark ket...@ketmar.no-ip.org --- ah, Jens already wrote about it. i really have to learn to read all the answers three times before posting my own! --

[Issue 14419] [CTFE] Need infinite loop detection?

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14419 Jens Bauer jens-bugzi...@gpio.dk changed: What|Removed |Added CC||jens-bugzi...@gpio.dk ---

[Issue 14419] [CTFE] Need infinite loop detection?

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14419 --- Comment #3 from Ketmar Dark ket...@ketmar.no-ip.org --- at least there is sense to make CTFE fail early when it tries to evaluate function with inappropriate return value. the original sample was this: alias extern(C) immutable void function ()

[Issue 14419] New: [CTFE] Need infinite loop detection?

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14419 Issue ID: 14419 Summary: [CTFE] Need infinite loop detection? Product: D Version: D1 D2 Hardware: All OS: All Status: NEW Severity: enhancement

[Issue 14419] [CTFE] Need infinite loop detection?

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14419 --- Comment #5 from Kenji Hara k.hara...@gmail.com --- (In reply to Ketmar Dark from comment #3) alias extern(C) immutable void function () VectorFunc; VectorFunc[3] g_pfnVectors = [ Reset_Handler, ]; extern(C) void Reset_Handler () {

[Issue 14419] [CTFE] Need infinite loop detection?

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14419 --- Comment #6 from Jens Bauer jens-bugzi...@gpio.dk --- (In reply to Kenji Hara from comment #2) How to do it for a complex code? int foo(int n = 0) { while (true) { ++n; if (n 1_000_000) break; }

[Issue 14419] [CTFE] Need infinite loop detection?

2015-04-06 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=14419 Iain Buclaw ibuc...@gdcproject.org changed: What|Removed |Added CC||ibuc...@gdcproject.org