Checked region added on function returning int instead of int*

[john-h-kastner]

The function c in this example is given an incorrect _Checked.

int a;
int *c() {
  return &a;
  return a;
}

int a;
int *c(void) _Checked {
  return &a;
  return a;
}

[kyleheadley]

Even more direct:

int *c() {
  return 5;
}

converts to:

int *c(void) _Checked {
  return 5;
}

Though clang does report an incompatible conversion warning. Are checked regions a verification or a request? This may be appropriate use, with the meaning: Show all safety warnings and add runtime bounds checks.