On 2012-06-29, AK <n...@n...com> wrote:
> Użytkownik "Bronek Kozicki" <b...@s...net> napisał:
>
>> lepiej (i ładniej!) nie potrafiłbym tego wytłumaczyć, oprawię sobie ramkę :)
>
> To tez sobie opraw :).
>
> bar.cpp
>=====
> int bar(int a, int b, int c)
> {
> return (a + b) + c;
> }
>
> foo.cpp
>=====
> int foo(int a, int b, int c)
> {
> return a + (b + c);
> }
>
> D:\>diff bar.asm foo.asm

Chłopcze, kiedy zaczniesz dowodzić ogólną własność zamiast pokazywać
specyficzny przypadek, kiedy własność jest spełniona? Bo na razie
prowadzisz dowód przez przykład, że jeden konkretny kompilator w przy
jednym konkretnym kodzie daje taki wynik, jakiego się spodziewasz.


--
Secunia non olet.
Stanislaw Klekot