相关疑难解决方法(0)

以下代码是否构成未定义的行为,因为我在变量声明之前跳转并通过指针使用它？如果是这样,标准之间是否存在差异？

int main() {
  int *p = 0;
label1: 
  if (p) {
    printf("%d\n", *p);
    return 0;
  }
  int i = 999;
  p = &i;
  goto label1;
  return -1;
}