Both implicit and explicit conversions from integer type to bitwise type
are legal iff the source value is known to be 0.
Signed-off-by: Edward Cree <ecree@xxxxxxxxxxxxxx>
---
validation/bitwise-cast.c | 44 ++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 44 insertions(+)
create mode 100644 validation/bitwise-cast.c
diff --git a/validation/bitwise-cast.c b/validation/bitwise-cast.c
new file mode 100644
index 0000000..baeca29
--- /dev/null
+++ b/validation/bitwise-cast.c
@@ -0,0 +1,44 @@
+typedef unsigned int u32;
+typedef u32 __attribute__((bitwise)) __be32;
+
+/* Implicit casts of 0, legal */
+static __be32 foo(void)
+{
+ __be32 x = 0;
+
+ return 0;
+}
+
+/* Explicit cast of 0, legal */
+static __be32 bar(void)
+{
+ return (__be32)0;
+}
+
+/* Implicit casts of nonzero, bad */
+static __be32 baz(void)
+{
+ __be32 x = 0x2a;
+
+ return 99;
+}
+
+/* Explicit cast of nonzero, bad */
+static __be32 quux(void)
+{
+ return (__be32)1729;
+}
+
+/*
+ * check-name: conversions to bitwise types
+ * check-command: sparse -Wbitwise $file
+ * check-error-start
+bitwise-cast.c:21:20: warning: incorrect type in initializer (different base types)
+bitwise-cast.c:21:20: expected restricted __be32 [usertype] x
+bitwise-cast.c:21:20: got int
+bitwise-cast.c:23:16: warning: incorrect type in return expression (different base types)
+bitwise-cast.c:23:16: expected restricted __be32
+bitwise-cast.c:23:16: got int
+bitwise-cast.c:29:17: warning: cast to restricted __be32
+ * check-error-end
+ */
The information contained in this message is confidential and is intended for the addressee(s) only. If you have received this message in error, please notify the sender immediately and delete the message. Unless you are an addressee (or authorized to receive for an addressee), you may not use, copy or disclose to anyone this message or any information contained in this message. The unauthorized use, disclosure, copying or alteration of this message is strictly prohibited.
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
