Implemented "FIXME" in ImutAVLTree: isEqual() now also compares the *data* value
authorTed Kremenek <kremenek@apple.com>
Thu, 17 Jan 2008 17:36:49 +0000 (17:36 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 17 Jan 2008 17:36:49 +0000 (17:36 +0000)
commite509e7a17819f808dabb815474eb8c04540de7b3
tree99034954f3ae96d48108cc4ade2ae21bcb7076c8
parent39354cb743c5a1473de7a80b957c61e92cf76852
Implemented "FIXME" in ImutAVLTree: isEqual() now also compares the *data* value
and not just the key value when comparing trees. To do this we added data_type
and data_type_ref to the ImutContainerInfo trait classes. For values stored in
the tree that do not have separate key and data components, data_type is simply
a typedef of bool, and isDataEqual() always evaluates to true. This allows us to
support both ImmutableSet and ImmutableMap using the same underlying logic.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@46130 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/ADT/ImmutableMap.h
include/llvm/ADT/ImmutableSet.h