Сgcc 4.4.5, у меня есть предупреждение со следующим кодом.

char *f(void)
{
    char c;
    return &c;
}

Но когда я использую временный указатель, больше нет предупреждений (даже если поведение неправильное).

char *f(void)
{
    char c;
    char *p = &c;
    return p;
}

Я слышал, что указатель-анализ сложно в C, но можетgcc предупредить о таком коде?