Disable C-compat verification for some headers.
The UAPI stuff has a lot of arch-specific stuff the verifier can't
handle, and also a lot of headers that aren't self-contained. Disable
the checker for those modules.
Bug: http://b/113359184
Test: None
Change-Id: I17a2d119d7f8531680698319f1bdfa8a7b154423
diff --git a/libc/Android.bp b/libc/Android.bp
index 42ffd37..1a5d3d1 100644
--- a/libc/Android.bp
+++ b/libc/Android.bp
@@ -2259,6 +2259,11 @@
"kernel/uapi/xen/**/*.h",
],
license: "NOTICE",
+ // These don't pass the bad verification we do because many of them are
+ // arch-specific, and they aren't necessarily independently includable.
+ // That's not much of a problem though, since C-incompaitibilities in the
+ // UAPI headers should run into problems long before they reach us.
+ skip_verification: true,
}
ndk_headers {
@@ -2275,6 +2280,7 @@
to: "scsi",
srcs: ["kernel/android/scsi/**/*.h"],
license: "NOTICE",
+ skip_verification: true,
}
ndk_headers {
@@ -2283,6 +2289,7 @@
to: "arm-linux-androideabi",
srcs: ["kernel/uapi/asm-arm/**/*.h"],
license: "NOTICE",
+ skip_verification: true,
}
ndk_headers {
@@ -2291,6 +2298,7 @@
to: "aarch64-linux-android",
srcs: ["kernel/uapi/asm-arm64/**/*.h"],
license: "NOTICE",
+ skip_verification: true,
}
ndk_headers {
@@ -2299,6 +2307,7 @@
to: "riscv64-linux-android",
srcs: ["kernel/uapi/asm-riscv/**/*.h"],
license: "NOTICE",
+ skip_verification: true,
}
ndk_headers {
@@ -2307,6 +2316,7 @@
to: "i686-linux-android",
srcs: ["kernel/uapi/asm-x86/**/*.h"],
license: "NOTICE",
+ skip_verification: true,
}
ndk_headers {
@@ -2315,6 +2325,7 @@
to: "x86_64-linux-android",
srcs: ["kernel/uapi/asm-x86/**/*.h"],
license: "NOTICE",
+ skip_verification: true,
}
ndk_library {