Skip to content

Commit

Permalink
[Tooling] Add a hack to work around issues with matcher binding in r3…
Browse files Browse the repository at this point in the history
…68681.

The change in r368681 contains a (probably unintentional) behavioral change for
rewrite rules with a single matcher. Previously, the single matcher would not
need to be bound (`joinCaseMatchers` returned it directly), even though a final
DynTypeMatcher was created and bound by `buildMatcher`. With the new change, a
single matcher will be bound, in addition to the final binding (which is now in
`buildMatchers`, but happens roughly at the same point in the overall flow).

This patch simply duplicates the "final matcher" trick: it creates an extra
DynTypedMatcher for each rewrite rule case matcher, and unconditionally makes it
bindable. This is probably not the right long-term fix, but it does allow
existing code to continue to work with this interface.

Subscribers: cfe-commits, gribozavr, ymandel

Tags: #clang

Differential Revision: https://reviews.llvm.org/D66273

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@368958 91177308-0d34-0410-b5e6-96231b3b80d8
  • Loading branch information
dlj-NaN committed Aug 15, 2019
1 parent 7061b97 commit 7f1a63e
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions lib/Tooling/Refactoring/Transformer.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -98,8 +98,10 @@ static std::vector<DynTypedMatcher> taggedMatchers(
Matchers.reserve(Cases.size());
for (const auto &Case : Cases) {
std::string Tag = (TagBase + Twine(Case.first)).str();
auto M = Case.second.Matcher.tryBind(Tag);
assert(M && "RewriteRule matchers should be bindable.");
// HACK: Many matchers are not bindable, so ensure that tryBind will work.
DynTypedMatcher BoundMatcher(Case.second.Matcher);
BoundMatcher.setAllowBind(true);
auto M = BoundMatcher.tryBind(Tag);
Matchers.push_back(*std::move(M));
}
return Matchers;
Expand Down

0 comments on commit 7f1a63e

Please sign in to comment.