Gabriel Paubert wrote:
For all architectures I use, it is rather "if used as an operand
of an arithmetic instruction", but the values can be copied
around without ever generating a trap. Even negating or taking
the absolute value never traps since those are not considered
"arithmetic" instruc
On Tue, Jan 30, 2007 at 10:49:02AM -0500, Robert Dewar wrote:
> Paul Schlie wrote:
>
> >- as trap representation within the context of C is a value
> >representation which is not defined to be a member of a type, where if
> >accessed or produced evokes undefined behavior; so admit as to the best o
Paul Schlie wrote:
- yes, and thereby inconsistent with reality, and thereby wrong.
(as may and may not are equivalent possibilities)
The standard is the only reality here. If you cannot deduce semantic
behavior from the semantic model of the standard, then you cannot
deduce it. You are not a
Paul Schlie wrote:
- as trap representation within the context of C is a value
representation which is not defined to be a member of a type, where if
accessed or produced evokes undefined behavior; so admit as to the best of
my knowledge all potentially enclosable values for IEEE floats and doub
On Tue, 2007-01-30 at 07:02 -0500, Paul Schlie wrote:
> > There is no license to reason about how you think code is
> generated, any
> > compiled is allowed to generate code AS IF a trap representation
> were present.
>
> - yes, and thereby inconsistent with reality, and thereby wrong.
> (as ma
> Paul wrote
>> Robert wrote:
>>> Paul Schlie wrote:
>>> - agreed, and thereby objects having no legitimate trap representation,
>>> such as most if not all implementations of integers and floating point
>>> objects on most if not all current target machines, and thereby their
>>> access does not i
> Robert wrote:
>> Paul Schlie wrote:
>> - agreed, and thereby objects having no legitimate trap representation,
>> such as most if not all implementations of integers and floating point
>> objects on most if not all current target machines, and thereby their
>> access does not invoke an undefined
