dereference of possibly-NULL ‘*new_table.m_f’ [CWE-690] [-Wanalyzer-possible-null-dereference]
18 *new_table->m_f = NULL; /* { dg-warning "dereference of possibly-NULL '\\*new_table.m_f'" } */
^
test
test: events 1-3
13 if (!new_table)
^
|
(1) following ‘false’ branch (when ‘new_table’ is non-NULL)... ─>─┐
│
│
┌───────────────────────────────────────────────────────────────────────┘
14│ return NULL;
15│ new_table->m_f = (char **)malloc(sizeof(char **));
│ ~~~~~~~~~~~~~~~~~~~~~~~
│ |
└───────────────────────────>(2) ...to here
(3) this call could return NULL
test: event 4
18 *new_table->m_f = NULL; /* { dg-warning "dereference of possibly-NULL '\\*new_table.m_f'" } */
^
|
(4) ⚠️ ‘*new_table.m_f’ could be NULL: unchecked value from (3)