missing warning on flow analysis

[thradams]

I believe the following code is not producing the expected result or diagnostics.

#pragma flow enable

int main()
{
  goto target;
  int i = 1;
  target:
  int j = i;
}