1*4882a593Smuzhiyun// SPDX-License-Identifier: GPL-2.0 2*4882a593Smuzhiyun/// Make sure (of/i2c/platform)_device_id tables are NULL terminated 3*4882a593Smuzhiyun// 4*4882a593Smuzhiyun// Keywords: of_table i2c_table platform_table 5*4882a593Smuzhiyun// Confidence: Medium 6*4882a593Smuzhiyun// Options: --include-headers 7*4882a593Smuzhiyun 8*4882a593Smuzhiyunvirtual patch 9*4882a593Smuzhiyunvirtual context 10*4882a593Smuzhiyunvirtual org 11*4882a593Smuzhiyunvirtual report 12*4882a593Smuzhiyun 13*4882a593Smuzhiyun@depends on context@ 14*4882a593Smuzhiyunidentifier var, arr; 15*4882a593Smuzhiyunexpression E; 16*4882a593Smuzhiyun@@ 17*4882a593Smuzhiyun( 18*4882a593Smuzhiyunstruct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = { 19*4882a593Smuzhiyun ..., 20*4882a593Smuzhiyun { 21*4882a593Smuzhiyun .var = E, 22*4882a593Smuzhiyun* } 23*4882a593Smuzhiyun}; 24*4882a593Smuzhiyun| 25*4882a593Smuzhiyunstruct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = { 26*4882a593Smuzhiyun ..., 27*4882a593Smuzhiyun* { ..., E, ... }, 28*4882a593Smuzhiyun}; 29*4882a593Smuzhiyun) 30*4882a593Smuzhiyun 31*4882a593Smuzhiyun@depends on patch@ 32*4882a593Smuzhiyunidentifier var, arr; 33*4882a593Smuzhiyunexpression E; 34*4882a593Smuzhiyun@@ 35*4882a593Smuzhiyun( 36*4882a593Smuzhiyunstruct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = { 37*4882a593Smuzhiyun ..., 38*4882a593Smuzhiyun { 39*4882a593Smuzhiyun .var = E, 40*4882a593Smuzhiyun- } 41*4882a593Smuzhiyun+ }, 42*4882a593Smuzhiyun+ { } 43*4882a593Smuzhiyun}; 44*4882a593Smuzhiyun| 45*4882a593Smuzhiyunstruct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = { 46*4882a593Smuzhiyun ..., 47*4882a593Smuzhiyun { ..., E, ... }, 48*4882a593Smuzhiyun+ { }, 49*4882a593Smuzhiyun}; 50*4882a593Smuzhiyun) 51*4882a593Smuzhiyun 52*4882a593Smuzhiyun@r depends on org || report@ 53*4882a593Smuzhiyunposition p1; 54*4882a593Smuzhiyunidentifier var, arr; 55*4882a593Smuzhiyunexpression E; 56*4882a593Smuzhiyun@@ 57*4882a593Smuzhiyun( 58*4882a593Smuzhiyunstruct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = { 59*4882a593Smuzhiyun ..., 60*4882a593Smuzhiyun { 61*4882a593Smuzhiyun .var = E, 62*4882a593Smuzhiyun } 63*4882a593Smuzhiyun @p1 64*4882a593Smuzhiyun}; 65*4882a593Smuzhiyun| 66*4882a593Smuzhiyunstruct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = { 67*4882a593Smuzhiyun ..., 68*4882a593Smuzhiyun { ..., E, ... } 69*4882a593Smuzhiyun @p1 70*4882a593Smuzhiyun}; 71*4882a593Smuzhiyun) 72*4882a593Smuzhiyun 73*4882a593Smuzhiyun@script:python depends on org@ 74*4882a593Smuzhiyunp1 << r.p1; 75*4882a593Smuzhiyunarr << r.arr; 76*4882a593Smuzhiyun@@ 77*4882a593Smuzhiyun 78*4882a593Smuzhiyuncocci.print_main(arr,p1) 79*4882a593Smuzhiyun 80*4882a593Smuzhiyun@script:python depends on report@ 81*4882a593Smuzhiyunp1 << r.p1; 82*4882a593Smuzhiyunarr << r.arr; 83*4882a593Smuzhiyun@@ 84*4882a593Smuzhiyun 85*4882a593Smuzhiyunmsg = "%s is not NULL terminated at line %s" % (arr, p1[0].line) 86*4882a593Smuzhiyuncoccilib.report.print_report(p1[0],msg) 87