'has', not 'exists'
Test case
'Branch condition evaluates to a garbage value', 'Function call argument is an uninitialized value', optimizations
Test case
Test case
Access to field 'active_memory' results in a dereference of a null pointer
Added a note about 'Allocator sizeof operand mismatch' warning
Value stored to 'ce' is never read
'Dereference of null pointer' + possible memory corruption
Dereference of null pointer
Dereference of null pointer
Access to field 'pointer' results in a dereference of a null pointer
Access to field 'hash_pointer' results in a dereference of a null pointer
Result of operation is garbage or undefined
[FP] Function call argument is an uninitialized value
'Dereference of null pointer' + possible memory corruption
[FP] Function call argument is an uninitialized value
Function call argument is an uninitialized value
[FP] Function call argument is an uninitialized value
 to  update