C范围重叠

Question

C 标准状态(强调我的):

If an identifier designates two different entities in the same name space, the scopes might overlap. [...]

(来自 http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf 的第 6.2.1.4 节)

什么时候标识符可以引用两个不同的实体但它们的范围不重叠？

或者，换句话说，为什么引文中有“可能”这个词？

Answer 1

name 的这些范围重叠:

int f(void) {
  int name = 4;
  {
     int name = 6;
  }
}

这些不重叠:

int f(void) {
  {
     int name = 4;
  }
  {
     int name = 6;
  }
}