[ekg2-devel] lists3 a sprawdzanie typów [było: r4089 - trunk/ekg:?trunk/ekg/dynstuff.h]

[Marcin Owsiany]

On Fri, Jul 11, 2008 at 11:58:24PM +0200, Wiesław Ochmiński wrote:
> też nie sprawdzała żadnego typu tylko rzutowała list typu cokolwiek_t na
> (list_t *). Konstrukcja w (void *) jest o tyle lepsza, że w czasie
> kompilacji nie daje ostrzeżenia:
> 
>     warning: dereferencing type-punned pointer will break strict-aliasing rules

Ano właśnie, o tyle lepsza, czy o tyle gorsza?

Wydaje mi się, że ukrycie tego ostrzeżenia może utrudnić rozwikłanie
problemów, jakie mogą pojawić się przy agresywnej optymalizacji. A z
takimi już w ekg2 mieliśmy do czynienia (w okolicach kodu dot. obsługi
unicode).

pozdrawiam,
-- 
Marcin Owsiany <porridge w debian.org>             http://marcin.owsiany.pl/
GnuPG: 1024D/60F41216  FE67 DA2D 0ACA FC5E 3F75  D6F6 3A0D 8AA0 60F4 1216