Nasıl ayarlarla derlemiş bilmiyorum ama 2. soruda dediği şey olmaz bence. y'ye daha sonradan erişilmediği için x dereference olmaz, ama null check yapılır her türlü. Belki y kullanılsa dediği olabilirdi. 2 farklı derleyicide tam optimizasyonla denedim ikisinde de onun dediği olmadı.
Strict aliasing'den bahsederken restrict anahtar kelimesinden bahsetse iyi olurmuş. Mesela 3. soruda ilk fonksiyon void func_original(int * restrict xp, int * restrict yp, int * restrict zp); şeklinde tanımlansaymış func_optimized ile aynı sonucu verirmiş. Bu func_optimized'da yapılan işi derleyici yaparmış.
Onun dışında diğer sorular gayet güzel. Bunlar haricinde C'nin daha garip durumlarını merak ederseniz
https://www.securecoding.cert.org/confluence/display/c/2+Rules adresini tavsiye ederim. Güzel örneklerle ve tartışmalarla açıklıyorlar.