[Bug c/57725] conflicting language extensions

2013-06-28 Thread matz at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57725 Michael Matz changed: What|Removed |Added CC||matz at gcc dot gnu.org --- Comment #11 fr

[Bug c/57725] conflicting language extensions

2013-06-28 Thread jakub at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57725 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #10

[Bug c/57725] conflicting language extensions

2013-06-27 Thread jbeulich at novell dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57725 --- Comment #9 from jbeulich at novell dot com --- But that's the point - the compiler takes the liberty to treat "start != end" as always true, and "start < end" as being replaceable with "start <= end". Hence a respective for() loop could in the

[Bug c/57725] conflicting language extensions

2013-06-27 Thread joseph at codesourcery dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57725 --- Comment #8 from joseph at codesourcery dot com --- On Thu, 27 Jun 2013, jbeulich at novell dot com wrote: > That's why I gave the example of where this is coming from - the code > obviously > wants to be able to determine whether the data bl

[Bug c/57725] conflicting language extensions

2013-06-27 Thread jbeulich at novell dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57725 --- Comment #7 from jbeulich at novell dot com --- That's why I gave the example of where this is coming from - the code obviously wants to be able to determine whether the data block between the two labels is empty. And no, using asm()-s for this

[Bug c/57725] conflicting language extensions

2013-06-27 Thread joseph at codesourcery dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57725 --- Comment #6 from joseph at codesourcery dot com --- On Thu, 27 Jun 2013, jbeulich at novell dot com wrote: > How that? How is code supposed to find out then? Why does the code want to find out? If it's using these extensions it's saying it'

[Bug c/57725] conflicting language extensions

2013-06-27 Thread jbeulich at novell dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57725 --- Comment #5 from jbeulich at novell dot com --- How that? How is code supposed to find out then? Perhaps briefly explaining where this is coming from originally might help: The Xen hypervisor (as much as Linux) has a number of linker script con

[Bug c/57725] conflicting language extensions

2013-06-26 Thread joseph at codesourcery dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57725 --- Comment #4 from joseph at codesourcery dot com --- I'd say that in the presence of those extensions, it should be considered unspecified whether pointers to distinct objects at the same address compare equal or not.

[Bug c/57725] conflicting language extensions

2013-06-26 Thread jbeulich at novell dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57725 --- Comment #3 from jbeulich at novell dot com --- Created attachment 30372 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30372&action=edit auxiliary source (uninitialized data)

[Bug c/57725] conflicting language extensions

2013-06-26 Thread jbeulich at novell dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57725 --- Comment #2 from jbeulich at novell dot com --- Created attachment 30371 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30371&action=edit auxiliary source (initialized data)

[Bug c/57725] conflicting language extensions

2013-06-26 Thread jbeulich at novell dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57725 --- Comment #1 from jbeulich at novell dot com --- Created attachment 30370 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30370&action=edit main source