This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Document arithmetic overflow semantics


kenner@vlsi1.ultra.nyu.edu (Richard Kenner) writes:

|     I completely disagree, and so do GCC's patch reviewers.  The behaviour
|     of a program with optimization should always be the same as its behaviour
|     without optimization.
| 
| Only for correct programs.
| 
| Are you really claiming that a program with an uninitialized variable
| must be compiled in such a way that it produces the same result independent
| of optimization?

I believe this generalization is drifting away from the initial
specific topic.

-- Gaby


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]