what if m_mm == NULL when deleteGPMemManager is called?

[gxflying]

hw/cmod/nvdla_payload/gp_mm.cpp

Line 27 in 8e06b1b

delete m_mm;

hi sir, should it be more robust like this?
if (m_mm != NULL)
delete m_mm;