Searched refs:malloc_state (Results 1 – 4 of 4) sorted by relevance
94 malloc_state (STATE_MALLOC_BOTTOM) {} in funct_state_d()100 malloc_state (s.malloc_state) {} in funct_state_d()122 enum malloc_state_e malloc_state; variable1115 l->malloc_state = STATE_MALLOC_BOTTOM; in analyze_function()1117 l->malloc_state = STATE_MALLOC; in analyze_function()1119 l->malloc_state = STATE_MALLOC_TOP; in analyze_function()1121 l->malloc_state = STATE_MALLOC; in analyze_function()1136 if (l->malloc_state == STATE_MALLOC) in analyze_function()1165 if (dst_data->malloc_state == STATE_MALLOC in duplicate()1167 dst_data->malloc_state = STATE_MALLOC_BOTTOM; in duplicate()[all …]
96 malloc_state (STATE_MALLOC_BOTTOM) {} in funct_state_d()102 malloc_state (s.malloc_state) {} in funct_state_d()124 enum malloc_state_e malloc_state; member in funct_state_d1146 l->malloc_state = STATE_MALLOC_BOTTOM; in analyze_function()1148 l->malloc_state = STATE_MALLOC; in analyze_function()1150 l->malloc_state = STATE_MALLOC_TOP; in analyze_function()1152 l->malloc_state = STATE_MALLOC; in analyze_function()1167 if (l->malloc_state == STATE_MALLOC) in analyze_function()1199 if (dst_data->malloc_state == STATE_MALLOC in duplicate()1201 dst_data->malloc_state = STATE_MALLOC_BOTTOM; in duplicate()[all …]
9876 (funct_state_d): Add field malloc_state.9877 (varying_state): Set malloc_state to STATE_MALLOC_BOTTOM.9881 (pure_const_write_summary): Stream malloc_state.9882 (pure_const_read_summary): Add support for reading malloc_state.
35675 malloc_state for a new VOID clone.