[openssl-dev] [openssl.org #4094] Nonsensical pointer comparison in PACKET_buf_init

[Viktor Dukhovni]

On Fri, Oct 16, 2015 at 04:09:57PM +0000, Kaduk, Ben via RT wrote:

> I hope I am not dragging this thread on too long, but with all due
> respect, we are not asking the compiler/optimizer to detect overflow --
> we are asking the compiler to instantiate undefined behavior in a way
> that is convenient for us.  This will only happen by chance, as a side
> effect of some other decisions made by the compiler authors, in the
> present state of compiler development.

My take is that we should generally stay clear of relying on any
remotely sensible outcome for undefined behaviour.  If this thread
is about such a situation, then we may have to code around the
issue.

-- 
	Viktor.