数组初始化器中的逗号是序列点吗？

Question

我不确定数组初始值设定项中的逗号是否实际上是一个序列点。以下声明是否定义了行为？该标准没有特别讨论聚合初始化期间的副作用（我认为），所以我自己假设了实现行为，但我不得不问

char s[7] = {'a', s[0], s[1], s[2], s[3], s[4], 0};

 int a[3]= { *ptr++,*ptr++,*ptr++}