http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
--- Comment #9 from bagnara at cs dot unipr.it 2012-04-06 19:17:25 UTC ---
Pity it is not enabled: it definitely should.
Note that the addition of the deterministic timeout facility of the PPL was
solicited by the Graphite people. Previously the
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
--- Comment #7 from bagnara at cs dot unipr.it 2012-04-06 14:06:38 UTC ---
(In reply to comment #5)
> Here is a sketch (100% untested) of what can be done without intervening [...]
So untested that I forgot to declare to the MIP problem that
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
--- Comment #6 from bagnara at cs dot unipr.it 2012-04-06 14:04:09 UTC ---
Created attachment 27104
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27104
Example alternative implementation for ppl_powerset_is_empty ()
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
bagnara at cs dot unipr.it changed:
What|Removed |Added
CC||bagnara at cs dot unipr.it
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49779
--- Comment #4 from bagnara at cs dot unipr.it 2011-07-20 06:44:25 UTC ---
Well... do you agree that the condition of a while loop has to be
evaluated at each iteration? If so, then we agree that the condition
is inside the while loop, not
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49779
--- Comment #2 from bagnara at cs dot unipr.it 2011-07-18 17:42:39 UTC ---
An extension that is still supported by GCC, right?
Here is another testcase showing the same phenomenon with `break':
int main() {
do {
while (({ bre
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49779
Summary: Wrong code generated for while loop with guard
containing continue
Product: gcc
Version: 4.6.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
