| /// Make sure of_device_id tables are NULL terminated |
| // |
| // Keywords: of_table |
| // Confidence: Medium |
| // Options: --include-headers |
| |
| virtual patch |
| virtual context |
| virtual org |
| virtual report |
| |
| @depends on context@ |
| identifier var, arr; |
| expression E; |
| @@ |
| struct of_device_id arr[] = { |
| ..., |
| { |
| .var = E, |
| * } |
| }; |
| |
| @depends on patch@ |
| identifier var, arr; |
| expression E; |
| @@ |
| struct of_device_id arr[] = { |
| ..., |
| { |
| .var = E, |
| - } |
| + }, |
| + { } |
| }; |
| |
| @r depends on org || report@ |
| position p1; |
| identifier var, arr; |
| expression E; |
| @@ |
| struct of_device_id arr[] = { |
| ..., |
| { |
| .var = E, |
| } |
| @p1 |
| }; |
| |
| @script:python depends on org@ |
| p1 << r.p1; |
| arr << r.arr; |
| @@ |
| |
| cocci.print_main(arr,p1) |
| |
| @script:python depends on report@ |
| p1 << r.p1; |
| arr << r.arr; |
| @@ |
| |
| msg = "%s is not NULL terminated at line %s" % (arr, p1[0].line) |
| coccilib.report.print_report(p1[0],msg) |
