А>(Должен сказать, что в этом вопросе я несколько радикальнее Павла. По моему мнению, например, в следующем примере — UB:
А>

А>    i = (++i, 0);
А>

А>Павел, если я все правильно помню, с этим согласен не был.)

А не могли бы Вы объяснить в чем тут, по Вашему мнению, дело? Т.е. Вы считаете, что все-таки между двумя точками следования i модифицируется дважды благодаря ++ и присваиванию и несмотря на точку следования после ',' ?