summary refs log tree commit diff
path: root/bin/clippy
diff options
context:
space:
mode:
authorDavid Tolnay <dtolnay@chromium.org>2019-04-12 18:19:34 -0700
committerchrome-bot <chrome-bot@chromium.org>2019-04-17 17:22:48 -0700
commit8b274875fb59a69be573607c3b29c63e80568ccd (patch)
tree6257357a9019d703e0b4b218f4cbeb9469fb151e /bin/clippy
parentafb1401500e4d2bab6e8af127502774c659a0af8 (diff)
downloadcrosvm-8b274875fb59a69be573607c3b29c63e80568ccd.tar
crosvm-8b274875fb59a69be573607c3b29c63e80568ccd.tar.gz
crosvm-8b274875fb59a69be573607c3b29c63e80568ccd.tar.bz2
crosvm-8b274875fb59a69be573607c3b29c63e80568ccd.tar.lz
crosvm-8b274875fb59a69be573607c3b29c63e80568ccd.tar.xz
crosvm-8b274875fb59a69be573607c3b29c63e80568ccd.tar.zst
crosvm-8b274875fb59a69be573607c3b29c63e80568ccd.zip
clippy: Resolve ptr_arg
TEST=bin/clippy

Change-Id: I2880852da218bcb96c56c49977ba9d86e3156f70
Reviewed-on: https://chromium-review.googlesource.com/1566738
Commit-Ready: David Tolnay <dtolnay@chromium.org>
Tested-by: David Tolnay <dtolnay@chromium.org>
Tested-by: kokoro <noreply+kokoro@google.com>
Reviewed-by: Daniel Verkamp <dverkamp@chromium.org>
Diffstat (limited to 'bin/clippy')
-rwxr-xr-xbin/clippy1
1 files changed, 0 insertions, 1 deletions
diff --git a/bin/clippy b/bin/clippy
index 148f8bb..1550288 100755
--- a/bin/clippy
+++ b/bin/clippy
@@ -39,7 +39,6 @@ SUPPRESS=(
 
     # To be resolved or suppressed locally.
     cast_ptr_alignment
-    ptr_arg
 
     # We don't care about these lints. Okay to remain suppressed globally.
     blacklisted_name