是否基于已删除的内存UB进行指针算术和比较？

Question

Fox示例：

int* a = new int[10];
int* b = a;
int* e = a + 10;
delete[] a;
for (; b != e; ++b);

我知道解除引用无效指针就是UB。但是如何比较和增加呢？

背景

这里有question，OP在基于范围的for循环中添加元素，这可能导致迭代器变为无效。但是他最后会在向量中添加元素，之后迭代器会被增加并进行比较，而不是解除引用。是UB吗？