Sì, e cond2 viene valutata solo se cond1 è vera.
Amaro C++, il gusto pieno dell'undefined behavior.
Regole del Forum