При написании GCC закручивают гайки с целью более точного соответствия стандартам. В данном случае как раз и закрутили так, что довольно большой класс ошибок, попадающих в недокументированное поведение по стандарту. Соответственно, этот код gcc 4.2 оптимизирует в пустышку и об этом сообщает в виде warning. А дальше довольно легко пишутся анализаторы.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2008-05-26 10:12 am (UTC)