🚀 go-pugleaf

"Jean-Marc Bourguet" <jm@bourguet.org> wrote in message
news:pxb8xy21qk8.fsf@news.bourguet.org...
> "Antoine Leca" <root@localhost.invalid> writes:
>
> > En <news:pxbhdcq1z5u.fsf@news.bourguet.org>,
> >     Jean-Marc Bourguet va escriure:
> > > Autrement dit
> > >    int f(int a, int b) { return a * b; }
> > >    i = 0;
> > >    k = f(i++, i++);
> > > on sait qu'apres l'execution k vaut 0 et i 2 mais on ne sait pas si
> > > l'appel c'est fait avec a=0 et b=1 ou bien a=1 et b=0.
> >
> > Ou m�me a=0 b=0.
>
> Oops, j'ai ete voir aux sources plutot que de me baser sur ma memoire
> -- ce que je devrais faire quand il s'agit de points dont je ne me
> sert de toute facon pas -- et contrairement a ce que je pensais il n'y
> a pas de point de sequence entre les evaluations des arguments mais
> uniquement avant l'appel de la fonction.

Exact, ce qui permet par exemple d'evaluer en parall�le sur les architectures
qui le permettent les expressions des param�tres de f.  Bien sur c'est une
mauvaise id�e quand elles ont des effets de bord, et le compilateur ne peut pas
ignorer que c'est le cas ici.  Sauf sur la DS9000 o� il est suffisamment subtil
pour constater que l'effet de bord concerne la m�me variable, et y voit donc une
instruction subliminale pour stopper le refroidissement du reacteur.

-- 
Chqrlie.