Clang Static Analyzer неожиданное предупреждение указателя NULL

У меня есть следующий код:

int s[4096];
unsigned char o = 0;

int main(void) {
    int *n;
    return ((char *) (s + o)) == 0 ? *n : 0;
}

Когда я запускаю Clang Static Analyzer для этого кода, он предупреждает меня, что я разыменовываю n, потому что (char *) (s + o) является нулевым указателем, а это не так (я даже могу распечатать его и получить адрес, который определенно не равен нулю).

Что мне не хватает?

Я замечаю, что удаление приведения (char *) приводит к исчезновению предупреждения.