On Friday, December 1, 2017 at 8:14:21 PM UTC+1, Roman Tyczka wrote:
> On Fri, 1 Dec 2017 04:21:11 -0800 (PST), M.M. wrote:
>
> > Niepokoi mnie tylko jedno. W językach takich jak C, C++ , Pascal i w
> > kilku innych, można zrobić:
> >
> > var = foo() // trudna do oszacowana wartość
> > var(); // wywołanie funkcji
> >
> > Wiem że taka praktyka programistyczna jest bardzo zła, ale formalnie
> > poprawna. Jak więc linkier / kompilator może ustalić, że pewne funkcje
> > z libów można pominąć?
>
> Przecież robiąc to przypisanie dajesz znać, że tego używasz, zatem zostaje
> nieusunięte, co tu niejasnego?
>

Ściślej, kompilator dostaje informacje o nieprzewidywalnych wywołaniach w
momencie gdy jakaś zmienna jest rzutowana na typ wskaźnika na funkcję.
Jak wtedy kompilator powinien się zachować? Czy powinien wcielić absolutnie
całego liba?

Pozdrawiam