[Bug other/31359] 4.2 branch still generates abort for function casting

[manu at gcc dot gnu dot org]

--- Comment #6 from manu at gcc dot gnu dot org  2008-01-08 17:55 ---
I think the consensus is clear on what needs to be done. So this is confirmed.
Just needs someone to do it. Unfortunately, given the huge amount of open
issues, I would guess that making undefined code work is quite down the list.
Thus, patches are welcome: http://gcc.gnu.org/contribute.html


-- 

manu at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||manu at gcc dot gnu dot org
   Severity|normal  |enhancement
 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2008-01-08 17:55:17
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31359

[Bug other/31359] 4.2 branch still generates abort for function casting

[rguenth at gcc dot gnu dot org]

--- Comment #2 from rguenth at gcc dot gnu dot org  2007-03-26 10:13 ---
openssl is a weird beast of macro hell ;)  (enough reason to fix it...)


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31359

[Bug other/31359] 4.2 branch still generates abort for function casting

[dirtyepic at gentoo dot org]

--- Comment #3 from dirtyepic at gentoo dot org  2007-03-26 14:27 ---
All true.  But this report is not about openssl, it's about GCC purposely going
out of it's way to break undefined code for no good reason.  It does silently
crash, for all intents and purposes.  I'm not saying that's not a valid action
for undefined code, just that it was decided that was a Bad Thing and would be
changed.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31359

[Bug other/31359] 4.2 branch still generates abort for function casting

[pinskia at gcc dot gnu dot org]

--- Comment #4 from pinskia at gcc dot gnu dot org  2007-03-26 17:18 ---
 It does silently crash, for all intents and purposes. 
No, it is not silent at all, it warns loudly (you cannot turn off the warning
except by using -w).


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31359

[Bug other/31359] 4.2 branch still generates abort for function casting

[dirtyepic at gentoo dot org]

--- Comment #5 from dirtyepic at gentoo dot org  2007-03-27 01:49 ---
I was referring to what the user gets to experience at runtime.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31359

[Bug other/31359] 4.2 branch still generates abort for function casting

[pinskia at gcc dot gnu dot org]

--- Comment #1 from pinskia at gcc dot gnu dot org  2007-03-26 06:01 ---
Can you show the exact code from openssl which has the problem, there might be
better ways of writting the code instead of what they are doing right now. 
This code is still undefined and I don't think we really should change the
behavior of GCC to be a behavior of code which is undefined.  Before we would
crash on some of the undefined behavior but now we don't and we warn more
places where the undefined behavior happens so that is even better thing.  At
least we don't sliently cause the undefined behavior to be crash (which is
actually valid for the C standard).

I rather see openssl fix their code than GCC change the behavior, it is not
like they were depending on defined behavior and GCC causes defined behavior to
become undefined.  Also if we say this was an undocumented extension, I think
that is wrong as there is no such thing as an undocumented extension, just it
worked because GCC did not fail before.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31359