// p was just assigned nullptr; dereference must be flagged.
int null_unconditional() {
    int* p = nullptr;
    return *p;
}