[cfe-dev] new -Wuninitialized implementation in Clang

[Ted Kremenek]

On Feb 4, 2011, at 8:12 AM, Nico Weber wrote:

> Unrelated: From an implementation perspective, s it reasonable to
> propagate __attribute__((noreturn))? I noticed that |int a; _exit(0);
> use(a);| does not warn, but |void g() { _exit(0); } int a; g();
> use(a);| does.

This requires inter-procedural analysis, which compiler warnings shouldn't get in the business of doing.  Instead, I believe we should warn that 'g' isn't labeled attribute 'noreturn' when it could be and have the user fix their code.