Re: sequence points in subexpressions

On 2009-12-14, pete <pfiland@xxxxxxxxxxxxxx> wrote:
Beej Jorgensen wrote:

o For the value computation of (i,i++,i) to be complete, i++'s side
effects must be complete.

I disagree.
I know that the value of (i,i++,i) is one greater
than the original value of (i).
I computed that without accomplishing any side effects.

You /must/ be trolling.

Computing the value of (i, i++, i) is /mathematically/ impossible without
modelling the side effect of i++, and reconciliation thereof by the comma
operator's sequence point.

Without the help of that sequence point, the final rightmost i does not
reliably refer to the incremented value.

You cannot reduce the expression to a stable value without taking into account
the sequence points and modeling them faithfully in your evaluation.

In your evaluation model, you must instantiate a representation of the object
i, and then perform the side effect upon it. There are no magic shortcuts.
.

Relevant Pages

  • Re: sequence points in subexpressions
    ... I disagree. ... I computed that without accomplishing any side effects. ... Then I think you skipped over a sequence point without performing every ... But you're arguing the side effects don't necessarily take place at the ...
    (comp.lang.c)
  • Re: limitation to induction on finite bounds
    ... > missing any sequence of digits. ... > Do you agree or disagree that rule Non-Occurence Introduction 1 ... If d is infinite this ...
    (sci.math)
  • Re: limitation to induction on finite bounds
    ... > missing any sequence of digits. ... > Do you agree or disagree that rule Non-Occurence Introduction 1 ... If d is infinite this ...
    (sci.logic)
  • Re: sequence points in subexpressions
    ... Kaz Kylheku writes: ... I disagree. ... Please explain this side affect keeping in mind there IS a sequence ...
    (comp.lang.c)
  • Re: An infinite debate
    ... both an infinmum and a supremum. ... conclusion that there is no smallest infinity, or LUB on the naturals, ... At any time t>= t_f the sequence is completed. ... No, I don't disagree. ...
    (sci.math)