И куда его фиксить?

Код наших восточных братьев, язык С++:

func( ptrNr1, ++ptrA, PtrB - PtrA );
ptrNr1[PtrB-PtrA] = 0;

И оно как-то работает, причем на четырех платформах. Трогать страшно. А надо: статический анализатор матерится.
Вот одно хочу знать: это от большого ума и знания компайлера или наоборот?