]> git.proxmox.com Git - mirror_ubuntu-bionic-kernel.git/blame - scripts/coccinelle/misc/of_table.cocci
License cleanup: add SPDX GPL-2.0 license identifier to files with no license
[mirror_ubuntu-bionic-kernel.git] / scripts / coccinelle / misc / of_table.cocci
CommitLineData
b2441318 1// SPDX-License-Identifier: GPL-2.0
67afc211 2/// Make sure (of/i2c/platform)_device_id tables are NULL terminated
2d5c5dbb 3//
67afc211 4// Keywords: of_table i2c_table platform_table
2d5c5dbb
SB
5// Confidence: Medium
6// Options: --include-headers
7
8virtual patch
9virtual context
10virtual org
11virtual report
12
13@depends on context@
14identifier var, arr;
15expression E;
16@@
67afc211
DG
17(
18struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = {
2d5c5dbb
SB
19 ...,
20 {
21 .var = E,
22* }
23};
67afc211
DG
24|
25struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = {
26 ...,
27* { ..., E, ... },
28};
29)
2d5c5dbb
SB
30
31@depends on patch@
32identifier var, arr;
33expression E;
34@@
67afc211
DG
35(
36struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = {
2d5c5dbb
SB
37 ...,
38 {
39 .var = E,
40- }
41+ },
42+ { }
43};
67afc211
DG
44|
45struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = {
46 ...,
47 { ..., E, ... },
48+ { },
49};
50)
2d5c5dbb
SB
51
52@r depends on org || report@
53position p1;
54identifier var, arr;
55expression E;
56@@
67afc211
DG
57(
58struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = {
2d5c5dbb
SB
59 ...,
60 {
61 .var = E,
62 }
63 @p1
64};
67afc211
DG
65|
66struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = {
67 ...,
68 { ..., E, ... }
69 @p1
70};
71)
2d5c5dbb
SB
72
73@script:python depends on org@
74p1 << r.p1;
75arr << r.arr;
76@@
77
78cocci.print_main(arr,p1)
79
80@script:python depends on report@
81p1 << r.p1;
82arr << r.arr;
83@@
84
85msg = "%s is not NULL terminated at line %s" % (arr, p1[0].line)
86coccilib.report.print_report(p1[0],msg)