commit c97459cc945ed25ab8d4c6ffbfe0ca0f17336eb0
author Martin Brænne <mboehme@google.com> Mon Dec 11 05:19:34 2023 -0800
committer Copybara-Service <copybara-worker@google.com> Mon Dec 11 05:20:40 2023 -0800
tree 11e2b4c098c1c0131baabf096492e29c5327446a
parent 1cca8c6685d38b6cc7594aa5a48ae8b1989a5f10

[nullability] Smart pointers: Implement `swap()`.

PiperOrigin-RevId: 589791458
Change-Id: I94e3a9ff67628cf9ab09835d7993a038ac84bf79

nullability/pointer_nullability_matchers.cc

diff --git a/nullability/pointer_nullability_matchers.cc b/nullability/pointer_nullability_matchers.cc
index 78cf931..be1f31a 100644
--- a/nullability/pointer_nullability_matchers.cc
+++ b/nullability/pointer_nullability_matchers.cc
@@ -113,6 +113,13 @@
                            callee(cxxMethodDecl(hasName(Name))));
 }
 
+Matcher<Stmt> isSmartPointerFreeSwapCall() {
+  return callExpr(callee(functionDecl(isInStdNamespace(), hasName("swap"))),
+                  argumentCountIs(2),
+                  hasArgument(0, hasType(isSupportedSmartPointer())),
+                  hasArgument(1, hasType(isSupportedSmartPointer())));
+}
+
 Matcher<Stmt> isSmartPointerFactoryCall() {
   return callExpr(
       hasType(isSupportedSmartPointer()),