The code in pattern::match runs Ex_comparator::equal_subtree. This is a generic routine which builds a replacement map even when (in cases such as this) a replacement map is not required. Add a fast path to avoid this (and make debugging output of Compare.cc easier to read because it will then not spit out anything anymore when doing a get inside Compare.cc).
The code in
pattern::matchrunsEx_comparator::equal_subtree. This is a generic routine which builds a replacement map even when (in cases such as this) a replacement map is not required. Add a fast path to avoid this (and make debugging output ofCompare.cceasier to read because it will then not spit out anything anymore when doing agetinsideCompare.cc).