ajohnson-uoregon added a comment.
This is our use case:
https://github.com/ajohnson-uoregon/llvm-project/blob/feature-ajohnson/clang-tools-extra/clang-rewrite/MatcherGenCallback.h#L365
I'm not sure if anyone else would want to use this, but it feels like it could
be generally useful. Now that I know we can define local matchers though we
could do that instead.
Basically, we want to match based on the declared return type of the function,
not the actual type of the thing returned, for cases where the thing returned
is cast to something else. We used it to reimplement part of clang-tidy's
modernize-use-nullptr check; we needed to get the declared (template) return
type so we could check if it was a pointer type even though the thing returned
was an int.
We haven't gotten around to implementing this yet (and the type code is
actually a little broken), but there are other cases where we might want to
specifically look for ReturnStmts that return a thing of type X when the
function says it returns a thing of type Y, in which case we'd be using both
`hasType()` and `hasExpectedReturnType()` kind of like this:
returnStmt(allOf(
hasReturnValue(hasType(X)),
hasExpectedReturnType(Y)
))
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D120959/new/
https://reviews.llvm.org/D120959
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
