[PATCH][Review request] unix.Malloc checker improvement: +handling new/delete, +memory.MismatchedFree, +memory.MismatchedDelete, +improved display names for allocators/deallocators

Anton Yartsev anton.yartsev at gmail.com
Fri Apr 19 02:45:11 PDT 2013


On 29.03.2013 4:00, Anna Zaks wrote:
> I've committed the new callback. Looks like no email was sent out.. So 
> just look at r178310.
+static bool retTrue(const RefState *RS) {
+  return true;
+}
+
+static bool checkIfNewOrNewArrayFamily(const RefState *RS) {
+  return (RS->getAllocationFamily() == AF_CXXNewArray ||
+          RS->getAllocationFamily() == AF_CXXNew);
+}
...........
+      if (RS->isAllocated() && CheckRefState(RS))
          State = State->remove<RegionState>(sym);
      }
    }

Anna, could you, please, clarify why we only process C++ families on 
const escape here?

-- 
Anton




More information about the cfe-commits mailing list