先に大きさでチェックしてから　内容の nul チェックする
for ( v = 0; n-- && *psz; psz++ ) {
これなら、存在しない指し先のデリファレンスしないし

ただ、
ショートサーキット前提の記述をよしとするかどうかはわからん