<div dir="ltr">Hi all,<br><br>I've been using the unix.Malloc checker to detect memory management issues in our code base. But we found the checker seems to stop exploring after seeing a call to typeid(). Below is a bad code example and unix.Malloc should warn about a double-free. But if I uncomment the line calling typeid(), the checker doesn't report any bug.<br><br>This prevents it from checking some of our templated functions that call typeid(). Could someone please let me know why this happens and how do I make the checker continue to work after seeing typeid()?<br><br>Thank you!<br>Torry<br><br><font face="courier new, monospace">void double_free(int size) {<br>  char *data = (char *)malloc(size);<br><br>  for (int i = 0; i < size; i++)<br>    data[i] = i;<br><br>  // auto tname = typeid(uint64_t).name(); // typeid() seems to stop analyzer<br>  // printf("Type name is %s\n", tname);<br><br>  free(data);<br>  free(data); // Should warn: Attempt to free released memory<br>}<br><br>int main(int argc, char** argv) {<br>  double_free(argc);<br><br>  return 0;<br>}</font><br></div>