Дьюхарст про такой вызов функции fun(i, i++); пишет что это непереносимо. А разве это не undefined ? Значение читается (не для определения нового значения) и меняется между двумя точками следования