[bilytur]

Sarge Имхо, ты не прав.
Немного перепишем программку, чтоб она соответствовала  Страуструпу.
И введем char *p раньше, для того что-бы buf[] не лежал в начале сегмента на некоторых архитектурах

Код:

char *p;
char buf[] = {1,4,16};

p= buf-1; 

int Sum2  = *(++p);
    Sum2 += *(++p);
    Sum2 += *(++p);  

Ты серьезно считаешь что это вычисляет  buf[-1]+buf[0]+buf[1] чтоли?

А переполнения в конкретном случае 1+4+16 тоже небыло.