Blame view

kernel/linux-rt-4.4.41/scripts/coccinelle/misc/array_size.cocci 1.64 KB
5113f6f70   김현기   kernel add
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
  /// Use ARRAY_SIZE instead of dividing sizeof array with sizeof an element
  ///
  //# This makes an effort to find cases where ARRAY_SIZE can be used such as
  //# where there is a division of sizeof the array by the sizeof its first
  //# element or by any indexed element or the element type. It replaces the
  //# division of the two sizeofs by ARRAY_SIZE.
  //
  // Confidence: High
  // Copyright: (C) 2014 Himangi Saraogi.  GPLv2.
  // Comments:
  // Options: --no-includes --include-headers
  
  virtual patch
  virtual context
  virtual org
  virtual report
  
  @i@
  @@
  
  #include <linux/kernel.h>
  
  //----------------------------------------------------------
  //  For context mode
  //----------------------------------------------------------
  
  @depends on i&&context@
  type T;
  T[] E;
  @@
  (
  * (sizeof(E)/sizeof(*E))
  |
  * (sizeof(E)/sizeof(E[...]))
  |
  * (sizeof(E)/sizeof(T))
  )
  
  //----------------------------------------------------------
  //  For patch mode
  //----------------------------------------------------------
  
  @depends on i&&patch@
  type T;
  T[] E;
  @@
  (
  - (sizeof(E)/sizeof(*E))
  + ARRAY_SIZE(E)
  |
  - (sizeof(E)/sizeof(E[...]))
  + ARRAY_SIZE(E)
  |
  - (sizeof(E)/sizeof(T))
  + ARRAY_SIZE(E)
  )
  
  //----------------------------------------------------------
  //  For org and report mode
  //----------------------------------------------------------
  
  @r@
  type T;
  T[] E;
  position p;
  @@
  (
   (sizeof(E)@p /sizeof(*E))
  |
   (sizeof(E)@p /sizeof(E[...]))
  |
   (sizeof(E)@p /sizeof(T))
  )
  
  @script:python depends on i&&org@
  p << r.p;
  @@
  
  coccilib.org.print_todo(p[0], "WARNING should use ARRAY_SIZE")
  
  @script:python depends on i&&report@
  p << r.p;
  @@
  
  msg="WARNING: Use ARRAY_SIZE"
  coccilib.report.print_report(p[0], msg)