coccinelle: Improve checking for missing NULL terminators
authorDaniel Granat <d.granat@samsung.com>
Fri, 23 Oct 2015 15:31:06 +0000 (17:31 +0200)
committerMichal Marek <mmarek@suse.com>
Mon, 26 Oct 2015 21:44:51 +0000 (22:44 +0100)
Extend checking on tables containing structures which are initialized
without specifying member name. Added new tables for checking:
i2c_device_id and platform_device_id.

Signed-off-by: Daniel Granat <d.granat@samsung.com>
Acked-by: Julia Lawall <julia.lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
scripts/coccinelle/misc/of_table.cocci

index 3c934046a06042afb3982b9e001280f36bb2340e..2294915a19bc42c70b1cc2c3d510a7412526036b 100644 (file)
@@ -1,6 +1,6 @@
-/// Make sure of_device_id tables are NULL terminated
+/// Make sure (of/i2c/platform)_device_id tables are NULL terminated
 //
-// Keywords: of_table
+// Keywords: of_table i2c_table platform_table
 // Confidence: Medium
 // Options: --include-headers
 
@@ -13,18 +13,26 @@ virtual report
 identifier var, arr;
 expression E;
 @@
-struct of_device_id arr[] = {
+(
+struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = {
        ...,
        {
        .var = E,
 *      }
 };
+|
+struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = {
+       ...,
+*      { ..., E, ... },
+};
+)
 
 @depends on patch@
 identifier var, arr;
 expression E;
 @@
-struct of_device_id arr[] = {
+(
+struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = {
        ...,
        {
        .var = E,
@@ -32,19 +40,34 @@ struct of_device_id arr[] = {
 +      },
 +      { }
 };
+|
+struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = {
+       ...,
+       { ..., E, ... },
++      { },
+};
+)
 
 @r depends on org || report@
 position p1;
 identifier var, arr;
 expression E;
 @@
-struct of_device_id arr[] = {
+(
+struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = {
        ...,
        {
        .var = E,
        }
        @p1
 };
+|
+struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = {
+       ...,
+       { ..., E, ... }
+       @p1
+};
+)
 
 @script:python depends on org@
 p1 << r.p1;