regression flow analysis

[thradams]

TODO test case to avoid more regressions.

#pragma safety enable

const char * get()
{
   char buffer[100] = {0};
   return buffer;
}