diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/Kbuild.include | 14 | ||||
-rw-r--r-- | scripts/Makefile.clean | 4 | ||||
-rw-r--r-- | scripts/Makefile.extrawarn | 21 | ||||
-rw-r--r-- | scripts/Makefile.host | 61 | ||||
-rw-r--r-- | scripts/coccinelle/api/alloc/alloc_cast.cocci | 72 | ||||
-rw-r--r-- | scripts/coccinelle/misc/array_size.cocci | 87 | ||||
-rw-r--r-- | scripts/coccinelle/misc/badty.cocci | 76 | ||||
-rw-r--r-- | scripts/coccinelle/misc/bugon.cocci (renamed from scripts/coccinelle/api/alloc/drop_kmalloc_cast.cocci) | 47 | ||||
-rw-r--r-- | scripts/coccinelle/null/badzero.cocci | 3 |
9 files changed, 288 insertions, 97 deletions
diff --git a/scripts/Kbuild.include b/scripts/Kbuild.include index 122f95c95869..8a9a4e1c7eab 100644 --- a/scripts/Kbuild.include +++ b/scripts/Kbuild.include | |||
@@ -215,11 +215,13 @@ else | |||
215 | arg-check = $(if $(strip $(cmd_$@)),,1) | 215 | arg-check = $(if $(strip $(cmd_$@)),,1) |
216 | endif | 216 | endif |
217 | 217 | ||
218 | # >'< substitution is for echo to work, | 218 | # Replace >$< with >$$< to preserve $ when reloading the .cmd file |
219 | # >$< substitution to preserve $ when reloading .cmd file | 219 | # (needed for make) |
220 | # note: when using inline perl scripts [perl -e '...$$t=1;...'] | 220 | # Replace >#< with >\#< to avoid starting a comment in the .cmd file |
221 | # in $(cmd_xxx) double $$ your perl vars | 221 | # (needed for make) |
222 | make-cmd = $(subst \\,\\\\,$(subst \#,\\\#,$(subst $$,$$$$,$(call escsq,$(cmd_$(1)))))) | 222 | # Replace >'< with >'\''< to be able to enclose the whole string in '...' |
223 | # (needed for the shell) | ||
224 | make-cmd = $(call escsq,$(subst \#,\\\#,$(subst $$,$$$$,$(cmd_$(1))))) | ||
223 | 225 | ||
224 | # Find any prerequisites that is newer than target or that does not exist. | 226 | # Find any prerequisites that is newer than target or that does not exist. |
225 | # PHONY targets skipped in both cases. | 227 | # PHONY targets skipped in both cases. |
@@ -230,7 +232,7 @@ any-prereq = $(filter-out $(PHONY),$?) $(filter-out $(PHONY) $(wildcard $^),$^) | |||
230 | if_changed = $(if $(strip $(any-prereq) $(arg-check)), \ | 232 | if_changed = $(if $(strip $(any-prereq) $(arg-check)), \ |
231 | @set -e; \ | 233 | @set -e; \ |
232 | $(echo-cmd) $(cmd_$(1)); \ | 234 | $(echo-cmd) $(cmd_$(1)); \ |
233 | echo 'cmd_$@ := $(make-cmd)' > $(dot-target).cmd) | 235 | printf '%s\n' 'cmd_$@ := $(make-cmd)' > $(dot-target).cmd) |
234 | 236 | ||
235 | # Execute the command and also postprocess generated .d dependencies file. | 237 | # Execute the command and also postprocess generated .d dependencies file. |
236 | if_changed_dep = $(if $(strip $(any-prereq) $(arg-check) ), \ | 238 | if_changed_dep = $(if $(strip $(any-prereq) $(arg-check) ), \ |
diff --git a/scripts/Makefile.clean b/scripts/Makefile.clean index 686cb0d31c7c..a651cee84f2a 100644 --- a/scripts/Makefile.clean +++ b/scripts/Makefile.clean | |||
@@ -40,8 +40,8 @@ subdir-ymn := $(addprefix $(obj)/,$(subdir-ymn)) | |||
40 | # build a list of files to remove, usually relative to the current | 40 | # build a list of files to remove, usually relative to the current |
41 | # directory | 41 | # directory |
42 | 42 | ||
43 | __clean-files := $(extra-y) $(always) \ | 43 | __clean-files := $(extra-y) $(extra-m) $(extra-) \ |
44 | $(targets) $(clean-files) \ | 44 | $(always) $(targets) $(clean-files) \ |
45 | $(host-progs) \ | 45 | $(host-progs) \ |
46 | $(hostprogs-y) $(hostprogs-m) $(hostprogs-) | 46 | $(hostprogs-y) $(hostprogs-m) $(hostprogs-) |
47 | 47 | ||
diff --git a/scripts/Makefile.extrawarn b/scripts/Makefile.extrawarn index 65643506c71c..f734033af219 100644 --- a/scripts/Makefile.extrawarn +++ b/scripts/Makefile.extrawarn | |||
@@ -26,16 +26,6 @@ warning-1 += $(call cc-option, -Wmissing-include-dirs) | |||
26 | warning-1 += $(call cc-option, -Wunused-but-set-variable) | 26 | warning-1 += $(call cc-option, -Wunused-but-set-variable) |
27 | warning-1 += $(call cc-disable-warning, missing-field-initializers) | 27 | warning-1 += $(call cc-disable-warning, missing-field-initializers) |
28 | 28 | ||
29 | # Clang | ||
30 | warning-1 += $(call cc-disable-warning, initializer-overrides) | ||
31 | warning-1 += $(call cc-disable-warning, unused-value) | ||
32 | warning-1 += $(call cc-disable-warning, format) | ||
33 | warning-1 += $(call cc-disable-warning, unknown-warning-option) | ||
34 | warning-1 += $(call cc-disable-warning, sign-compare) | ||
35 | warning-1 += $(call cc-disable-warning, format-zero-length) | ||
36 | warning-1 += $(call cc-disable-warning, uninitialized) | ||
37 | warning-1 += $(call cc-option, -fcatch-undefined-behavior) | ||
38 | |||
39 | warning-2 := -Waggregate-return | 29 | warning-2 := -Waggregate-return |
40 | warning-2 += -Wcast-align | 30 | warning-2 += -Wcast-align |
41 | warning-2 += -Wdisabled-optimization | 31 | warning-2 += -Wdisabled-optimization |
@@ -64,4 +54,15 @@ ifeq ("$(strip $(warning))","") | |||
64 | endif | 54 | endif |
65 | 55 | ||
66 | KBUILD_CFLAGS += $(warning) | 56 | KBUILD_CFLAGS += $(warning) |
57 | else | ||
58 | |||
59 | ifeq ($(COMPILER),clang) | ||
60 | KBUILD_CFLAGS += $(call cc-disable-warning, initializer-overrides) | ||
61 | KBUILD_CFLAGS += $(call cc-disable-warning, unused-value) | ||
62 | KBUILD_CFLAGS += $(call cc-disable-warning, format) | ||
63 | KBUILD_CFLAGS += $(call cc-disable-warning, unknown-warning-option) | ||
64 | KBUILD_CFLAGS += $(call cc-disable-warning, sign-compare) | ||
65 | KBUILD_CFLAGS += $(call cc-disable-warning, format-zero-length) | ||
66 | KBUILD_CFLAGS += $(call cc-disable-warning, uninitialized) | ||
67 | endif | ||
67 | endif | 68 | endif |
diff --git a/scripts/Makefile.host b/scripts/Makefile.host index 66893643fd7d..ab5980f91714 100644 --- a/scripts/Makefile.host +++ b/scripts/Makefile.host | |||
@@ -20,21 +20,12 @@ | |||
20 | # Will compile qconf as a C++ program, and menu as a C program. | 20 | # Will compile qconf as a C++ program, and menu as a C program. |
21 | # They are linked as C++ code to the executable qconf | 21 | # They are linked as C++ code to the executable qconf |
22 | 22 | ||
23 | # hostprogs-y := conf | ||
24 | # conf-objs := conf.o libkconfig.so | ||
25 | # libkconfig-objs := expr.o type.o | ||
26 | # Will create a shared library named libkconfig.so that consists of | ||
27 | # expr.o and type.o (they are both compiled as C code and the object files | ||
28 | # are made as position independent code). | ||
29 | # conf.c is compiled as a C program, and conf.o is linked together with | ||
30 | # libkconfig.so as the executable conf. | ||
31 | # Note: Shared libraries consisting of C++ files are not supported | ||
32 | |||
33 | __hostprogs := $(sort $(hostprogs-y) $(hostprogs-m)) | 23 | __hostprogs := $(sort $(hostprogs-y) $(hostprogs-m)) |
34 | 24 | ||
35 | # C code | 25 | # C code |
36 | # Executables compiled from a single .c file | 26 | # Executables compiled from a single .c file |
37 | host-csingle := $(foreach m,$(__hostprogs),$(if $($(m)-objs),,$(m))) | 27 | host-csingle := $(foreach m,$(__hostprogs), \ |
28 | $(if $($(m)-objs)$($(m)-cxxobjs),,$(m))) | ||
38 | 29 | ||
39 | # C executables linked based on several .o files | 30 | # C executables linked based on several .o files |
40 | host-cmulti := $(foreach m,$(__hostprogs),\ | 31 | host-cmulti := $(foreach m,$(__hostprogs),\ |
@@ -44,33 +35,17 @@ host-cmulti := $(foreach m,$(__hostprogs),\ | |||
44 | host-cobjs := $(sort $(foreach m,$(__hostprogs),$($(m)-objs))) | 35 | host-cobjs := $(sort $(foreach m,$(__hostprogs),$($(m)-objs))) |
45 | 36 | ||
46 | # C++ code | 37 | # C++ code |
47 | # C++ executables compiled from at least on .cc file | 38 | # C++ executables compiled from at least one .cc file |
48 | # and zero or more .c files | 39 | # and zero or more .c files |
49 | host-cxxmulti := $(foreach m,$(__hostprogs),$(if $($(m)-cxxobjs),$(m))) | 40 | host-cxxmulti := $(foreach m,$(__hostprogs),$(if $($(m)-cxxobjs),$(m))) |
50 | 41 | ||
51 | # C++ Object (.o) files compiled from .cc files | 42 | # C++ Object (.o) files compiled from .cc files |
52 | host-cxxobjs := $(sort $(foreach m,$(host-cxxmulti),$($(m)-cxxobjs))) | 43 | host-cxxobjs := $(sort $(foreach m,$(host-cxxmulti),$($(m)-cxxobjs))) |
53 | 44 | ||
54 | # Shared libaries (only .c supported) | ||
55 | # Shared libraries (.so) - all .so files referenced in "xxx-objs" | ||
56 | host-cshlib := $(sort $(filter %.so, $(host-cobjs))) | ||
57 | # Remove .so files from "xxx-objs" | ||
58 | host-cobjs := $(filter-out %.so,$(host-cobjs)) | ||
59 | |||
60 | #Object (.o) files used by the shared libaries | ||
61 | host-cshobjs := $(sort $(foreach m,$(host-cshlib),$($(m:.so=-objs)))) | ||
62 | |||
63 | # output directory for programs/.o files | 45 | # output directory for programs/.o files |
64 | # hostprogs-y := tools/build may have been specified. Retrieve directory | 46 | # hostprogs-y := tools/build may have been specified. |
65 | host-objdirs := $(foreach f,$(__hostprogs), $(if $(dir $(f)),$(dir $(f)))) | 47 | # Retrieve also directory of .o files from prog-objs or prog-cxxobjs notation |
66 | # directory of .o files from prog-objs notation | 48 | host-objdirs := $(dir $(__hostprogs) $(host-cobjs) $(host-cxxobjs)) |
67 | host-objdirs += $(foreach f,$(host-cmulti), \ | ||
68 | $(foreach m,$($(f)-objs), \ | ||
69 | $(if $(dir $(m)),$(dir $(m))))) | ||
70 | # directory of .o files from prog-cxxobjs notation | ||
71 | host-objdirs += $(foreach f,$(host-cxxmulti), \ | ||
72 | $(foreach m,$($(f)-cxxobjs), \ | ||
73 | $(if $(dir $(m)),$(dir $(m))))) | ||
74 | 49 | ||
75 | host-objdirs := $(strip $(sort $(filter-out ./,$(host-objdirs)))) | 50 | host-objdirs := $(strip $(sort $(filter-out ./,$(host-objdirs)))) |
76 | 51 | ||
@@ -81,8 +56,6 @@ host-cmulti := $(addprefix $(obj)/,$(host-cmulti)) | |||
81 | host-cobjs := $(addprefix $(obj)/,$(host-cobjs)) | 56 | host-cobjs := $(addprefix $(obj)/,$(host-cobjs)) |
82 | host-cxxmulti := $(addprefix $(obj)/,$(host-cxxmulti)) | 57 | host-cxxmulti := $(addprefix $(obj)/,$(host-cxxmulti)) |
83 | host-cxxobjs := $(addprefix $(obj)/,$(host-cxxobjs)) | 58 | host-cxxobjs := $(addprefix $(obj)/,$(host-cxxobjs)) |
84 | host-cshlib := $(addprefix $(obj)/,$(host-cshlib)) | ||
85 | host-cshobjs := $(addprefix $(obj)/,$(host-cshobjs)) | ||
86 | host-objdirs := $(addprefix $(obj)/,$(host-objdirs)) | 59 | host-objdirs := $(addprefix $(obj)/,$(host-objdirs)) |
87 | 60 | ||
88 | obj-dirs += $(host-objdirs) | 61 | obj-dirs += $(host-objdirs) |
@@ -123,7 +96,7 @@ quiet_cmd_host-cmulti = HOSTLD $@ | |||
123 | cmd_host-cmulti = $(HOSTCC) $(HOSTLDFLAGS) -o $@ \ | 96 | cmd_host-cmulti = $(HOSTCC) $(HOSTLDFLAGS) -o $@ \ |
124 | $(addprefix $(obj)/,$($(@F)-objs)) \ | 97 | $(addprefix $(obj)/,$($(@F)-objs)) \ |
125 | $(HOST_LOADLIBES) $(HOSTLOADLIBES_$(@F)) | 98 | $(HOST_LOADLIBES) $(HOSTLOADLIBES_$(@F)) |
126 | $(host-cmulti): $(obj)/%: $(host-cobjs) $(host-cshlib) FORCE | 99 | $(host-cmulti): $(obj)/%: $(host-cobjs) FORCE |
127 | $(call if_changed,host-cmulti) | 100 | $(call if_changed,host-cmulti) |
128 | 101 | ||
129 | # Create .o file from a single .c file | 102 | # Create .o file from a single .c file |
@@ -140,7 +113,7 @@ quiet_cmd_host-cxxmulti = HOSTLD $@ | |||
140 | $(foreach o,objs cxxobjs,\ | 113 | $(foreach o,objs cxxobjs,\ |
141 | $(addprefix $(obj)/,$($(@F)-$(o)))) \ | 114 | $(addprefix $(obj)/,$($(@F)-$(o)))) \ |
142 | $(HOST_LOADLIBES) $(HOSTLOADLIBES_$(@F)) | 115 | $(HOST_LOADLIBES) $(HOSTLOADLIBES_$(@F)) |
143 | $(host-cxxmulti): $(obj)/%: $(host-cobjs) $(host-cxxobjs) $(host-cshlib) FORCE | 116 | $(host-cxxmulti): $(obj)/%: $(host-cobjs) $(host-cxxobjs) FORCE |
144 | $(call if_changed,host-cxxmulti) | 117 | $(call if_changed,host-cxxmulti) |
145 | 118 | ||
146 | # Create .o file from a single .cc (C++) file | 119 | # Create .o file from a single .cc (C++) file |
@@ -149,21 +122,5 @@ quiet_cmd_host-cxxobjs = HOSTCXX $@ | |||
149 | $(host-cxxobjs): $(obj)/%.o: $(src)/%.cc FORCE | 122 | $(host-cxxobjs): $(obj)/%.o: $(src)/%.cc FORCE |
150 | $(call if_changed_dep,host-cxxobjs) | 123 | $(call if_changed_dep,host-cxxobjs) |
151 | 124 | ||
152 | # Compile .c file, create position independent .o file | ||
153 | # host-cshobjs -> .o | ||
154 | quiet_cmd_host-cshobjs = HOSTCC -fPIC $@ | ||
155 | cmd_host-cshobjs = $(HOSTCC) $(hostc_flags) -fPIC -c -o $@ $< | ||
156 | $(host-cshobjs): $(obj)/%.o: $(src)/%.c FORCE | ||
157 | $(call if_changed_dep,host-cshobjs) | ||
158 | |||
159 | # Link a shared library, based on position independent .o files | ||
160 | # *.o -> .so shared library (host-cshlib) | ||
161 | quiet_cmd_host-cshlib = HOSTLLD -shared $@ | ||
162 | cmd_host-cshlib = $(HOSTCC) $(HOSTLDFLAGS) -shared -o $@ \ | ||
163 | $(addprefix $(obj)/,$($(@F:.so=-objs))) \ | ||
164 | $(HOST_LOADLIBES) $(HOSTLOADLIBES_$(@F)) | ||
165 | $(host-cshlib): $(obj)/%: $(host-cshobjs) FORCE | ||
166 | $(call if_changed,host-cshlib) | ||
167 | |||
168 | targets += $(host-csingle) $(host-cmulti) $(host-cobjs)\ | 125 | targets += $(host-csingle) $(host-cmulti) $(host-cobjs)\ |
169 | $(host-cxxmulti) $(host-cxxobjs) $(host-cshlib) $(host-cshobjs) | 126 | $(host-cxxmulti) $(host-cxxobjs) |
diff --git a/scripts/coccinelle/api/alloc/alloc_cast.cocci b/scripts/coccinelle/api/alloc/alloc_cast.cocci new file mode 100644 index 000000000000..6c308ee19b32 --- /dev/null +++ b/scripts/coccinelle/api/alloc/alloc_cast.cocci | |||
@@ -0,0 +1,72 @@ | |||
1 | /// Remove casting the values returned by memory allocation functions | ||
2 | /// like kmalloc, kzalloc, kmem_cache_alloc, kmem_cache_zalloc etc. | ||
3 | /// | ||
4 | //# This makes an effort to find cases of casting of values returned by | ||
5 | //# kmalloc, kzalloc, kcalloc, kmem_cache_alloc, kmem_cache_zalloc, | ||
6 | //# kmem_cache_alloc_node, kmalloc_node and kzalloc_node and removes | ||
7 | //# the casting as it is not required. The result in the patch case may | ||
8 | //#need some reformatting. | ||
9 | // | ||
10 | // Confidence: High | ||
11 | // Copyright: 2014, Himangi Saraogi GPLv2. | ||
12 | // Comments: | ||
13 | // Options: --no-includes --include-headers | ||
14 | // | ||
15 | |||
16 | virtual context | ||
17 | virtual patch | ||
18 | virtual org | ||
19 | virtual report | ||
20 | |||
21 | //---------------------------------------------------------- | ||
22 | // For context mode | ||
23 | //---------------------------------------------------------- | ||
24 | |||
25 | @depends on context@ | ||
26 | type T; | ||
27 | @@ | ||
28 | |||
29 | * (T *) | ||
30 | \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\| | ||
31 | kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\)(...) | ||
32 | |||
33 | //---------------------------------------------------------- | ||
34 | // For patch mode | ||
35 | //---------------------------------------------------------- | ||
36 | |||
37 | @depends on patch@ | ||
38 | type T; | ||
39 | @@ | ||
40 | |||
41 | - (T *) | ||
42 | (\(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\| | ||
43 | kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\)(...)) | ||
44 | |||
45 | //---------------------------------------------------------- | ||
46 | // For org and report mode | ||
47 | //---------------------------------------------------------- | ||
48 | |||
49 | @r depends on org || report@ | ||
50 | type T; | ||
51 | position p; | ||
52 | @@ | ||
53 | |||
54 | (T@p *)\(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\| | ||
55 | kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\)(...) | ||
56 | |||
57 | @script:python depends on org@ | ||
58 | p << r.p; | ||
59 | t << r.T; | ||
60 | @@ | ||
61 | |||
62 | coccilib.org.print_safe_todo(p[0], t) | ||
63 | |||
64 | @script:python depends on report@ | ||
65 | p << r.p; | ||
66 | t << r.T; | ||
67 | @@ | ||
68 | |||
69 | msg="WARNING: casting value returned by memory allocation function to (%s *) is useless." % (t) | ||
70 | coccilib.report.print_report(p[0], msg) | ||
71 | |||
72 | |||
diff --git a/scripts/coccinelle/misc/array_size.cocci b/scripts/coccinelle/misc/array_size.cocci new file mode 100644 index 000000000000..81e279cd347b --- /dev/null +++ b/scripts/coccinelle/misc/array_size.cocci | |||
@@ -0,0 +1,87 @@ | |||
1 | /// Use ARRAY_SIZE instead of dividing sizeof array with sizeof an element | ||
2 | /// | ||
3 | //# This makes an effort to find cases where ARRAY_SIZE can be used such as | ||
4 | //# where there is a division of sizeof the array by the sizeof its first | ||
5 | //# element or by any indexed element or the element type. It replaces the | ||
6 | //# division of the two sizeofs by ARRAY_SIZE. | ||
7 | // | ||
8 | // Confidence: High | ||
9 | // Copyright: (C) 2014 Himangi Saraogi. GPLv2. | ||
10 | // Comments: | ||
11 | // Options: --no-includes --include-headers | ||
12 | |||
13 | virtual patch | ||
14 | virtual context | ||
15 | virtual org | ||
16 | virtual report | ||
17 | |||
18 | @i@ | ||
19 | @@ | ||
20 | |||
21 | #include <linux/kernel.h> | ||
22 | |||
23 | //---------------------------------------------------------- | ||
24 | // For context mode | ||
25 | //---------------------------------------------------------- | ||
26 | |||
27 | @depends on i&&context@ | ||
28 | type T; | ||
29 | T[] E; | ||
30 | @@ | ||
31 | ( | ||
32 | * (sizeof(E)/sizeof(*E)) | ||
33 | | | ||
34 | * (sizeof(E)/sizeof(E[...])) | ||
35 | | | ||
36 | * (sizeof(E)/sizeof(T)) | ||
37 | ) | ||
38 | |||
39 | //---------------------------------------------------------- | ||
40 | // For patch mode | ||
41 | //---------------------------------------------------------- | ||
42 | |||
43 | @depends on i&&patch@ | ||
44 | type T; | ||
45 | T[] E; | ||
46 | @@ | ||
47 | ( | ||
48 | - (sizeof(E)/sizeof(*E)) | ||
49 | + ARRAY_SIZE(E) | ||
50 | | | ||
51 | - (sizeof(E)/sizeof(E[...])) | ||
52 | + ARRAY_SIZE(E) | ||
53 | | | ||
54 | - (sizeof(E)/sizeof(T)) | ||
55 | + ARRAY_SIZE(E) | ||
56 | ) | ||
57 | |||
58 | //---------------------------------------------------------- | ||
59 | // For org and report mode | ||
60 | //---------------------------------------------------------- | ||
61 | |||
62 | @r@ | ||
63 | type T; | ||
64 | T[] E; | ||
65 | position p; | ||
66 | @@ | ||
67 | ( | ||
68 | (sizeof(E)@p /sizeof(*E)) | ||
69 | | | ||
70 | (sizeof(E)@p /sizeof(E[...])) | ||
71 | | | ||
72 | (sizeof(E)@p /sizeof(T)) | ||
73 | ) | ||
74 | |||
75 | @script:python depends on i&&org@ | ||
76 | p << r.p; | ||
77 | @@ | ||
78 | |||
79 | coccilib.org.print_todo(p[0], "WARNING should use ARRAY_SIZE") | ||
80 | |||
81 | @script:python depends on i&&report@ | ||
82 | p << r.p; | ||
83 | @@ | ||
84 | |||
85 | msg="WARNING: Use ARRAY_SIZE" | ||
86 | coccilib.report.print_report(p[0], msg) | ||
87 | |||
diff --git a/scripts/coccinelle/misc/badty.cocci b/scripts/coccinelle/misc/badty.cocci new file mode 100644 index 000000000000..2fc06fc71927 --- /dev/null +++ b/scripts/coccinelle/misc/badty.cocci | |||
@@ -0,0 +1,76 @@ | |||
1 | /// Use ARRAY_SIZE instead of dividing sizeof array with sizeof an element | ||
2 | /// | ||
3 | //# This makes an effort to find cases where the argument to sizeof is wrong | ||
4 | //# in memory allocation functions by checking the type of the allocated memory | ||
5 | //# when it is a double pointer and ensuring the sizeof argument takes a pointer | ||
6 | //# to the the memory being allocated. There are false positives in cases the | ||
7 | //# sizeof argument is not used in constructing the return value. The result | ||
8 | //# may need some reformatting. | ||
9 | // | ||
10 | // Confidence: Moderate | ||
11 | // Copyright: (C) 2014 Himangi Saraogi. GPLv2. | ||
12 | // Comments: | ||
13 | // Options: | ||
14 | |||
15 | virtual patch | ||
16 | virtual context | ||
17 | virtual org | ||
18 | virtual report | ||
19 | |||
20 | //---------------------------------------------------------- | ||
21 | // For context mode | ||
22 | //---------------------------------------------------------- | ||
23 | |||
24 | @depends on context disable sizeof_type_expr@ | ||
25 | type T; | ||
26 | T **x; | ||
27 | @@ | ||
28 | |||
29 | x = | ||
30 | <+...sizeof( | ||
31 | * T | ||
32 | )...+> | ||
33 | |||
34 | //---------------------------------------------------------- | ||
35 | // For patch mode | ||
36 | //---------------------------------------------------------- | ||
37 | |||
38 | @depends on patch disable sizeof_type_expr@ | ||
39 | type T; | ||
40 | T **x; | ||
41 | @@ | ||
42 | |||
43 | x = | ||
44 | <+...sizeof( | ||
45 | - T | ||
46 | + *x | ||
47 | )...+> | ||
48 | |||
49 | //---------------------------------------------------------- | ||
50 | // For org and report mode | ||
51 | //---------------------------------------------------------- | ||
52 | |||
53 | @r disable sizeof_type_expr@ | ||
54 | type T; | ||
55 | T **x; | ||
56 | position p; | ||
57 | @@ | ||
58 | |||
59 | x = | ||
60 | <+...sizeof( | ||
61 | T@p | ||
62 | )...+> | ||
63 | |||
64 | @script:python depends on org@ | ||
65 | p << r.p; | ||
66 | @@ | ||
67 | |||
68 | coccilib.org.print_todo(p[0], "WARNING sizeof argument should be pointer type, not structure type") | ||
69 | |||
70 | @script:python depends on report@ | ||
71 | p << r.p; | ||
72 | @@ | ||
73 | |||
74 | msg="WARNING: Use correct pointer type argument for sizeof" | ||
75 | coccilib.report.print_report(p[0], msg) | ||
76 | |||
diff --git a/scripts/coccinelle/api/alloc/drop_kmalloc_cast.cocci b/scripts/coccinelle/misc/bugon.cocci index bd5d08b882ee..556456ca761c 100644 --- a/scripts/coccinelle/api/alloc/drop_kmalloc_cast.cocci +++ b/scripts/coccinelle/misc/bugon.cocci | |||
@@ -1,20 +1,17 @@ | |||
1 | /// Use BUG_ON instead of a if condition followed by BUG. | ||
1 | /// | 2 | /// |
2 | /// Casting (void *) value returned by kmalloc is useless | 3 | //# This makes an effort to find cases where BUG() follows an if |
3 | /// as mentioned in Documentation/CodingStyle, Chap 14. | 4 | //# condition on an expression and replaces the if condition and BUG() |
4 | /// | 5 | //# with a BUG_ON having the conditional expression of the if statement |
5 | // Confidence: High | 6 | //# as argument. |
6 | // Copyright: 2009,2010 Nicolas Palix, DIKU. GPLv2. | ||
7 | // URL: http://coccinelle.lip6.fr/ | ||
8 | // Options: --no-includes --include-headers | ||
9 | // | ||
10 | // Keywords: kmalloc, kzalloc, kcalloc | ||
11 | // Version min: < 2.6.12 kmalloc | ||
12 | // Version min: < 2.6.12 kcalloc | ||
13 | // Version min: 2.6.14 kzalloc | ||
14 | // | 7 | // |
8 | // Confidence: High | ||
9 | // Copyright: (C) 2014 Himangi Saraogi. GPLv2. | ||
10 | // Comments: | ||
11 | // Options: --no-includes, --include-headers | ||
15 | 12 | ||
16 | virtual context | ||
17 | virtual patch | 13 | virtual patch |
14 | virtual context | ||
18 | virtual org | 15 | virtual org |
19 | virtual report | 16 | virtual report |
20 | 17 | ||
@@ -23,45 +20,43 @@ virtual report | |||
23 | //---------------------------------------------------------- | 20 | //---------------------------------------------------------- |
24 | 21 | ||
25 | @depends on context@ | 22 | @depends on context@ |
26 | type T; | 23 | expression e; |
27 | @@ | 24 | @@ |
28 | 25 | ||
29 | * (T *) | 26 | *if (e) BUG(); |
30 | \(kmalloc\|kzalloc\|kcalloc\)(...) | ||
31 | 27 | ||
32 | //---------------------------------------------------------- | 28 | //---------------------------------------------------------- |
33 | // For patch mode | 29 | // For patch mode |
34 | //---------------------------------------------------------- | 30 | //---------------------------------------------------------- |
35 | 31 | ||
36 | @depends on patch@ | 32 | @depends on patch@ |
37 | type T; | 33 | expression e; |
38 | @@ | 34 | @@ |
39 | 35 | ||
40 | - (T *) | 36 | -if (e) BUG(); |
41 | \(kmalloc\|kzalloc\|kcalloc\)(...) | 37 | +BUG_ON(e); |
42 | 38 | ||
43 | //---------------------------------------------------------- | 39 | //---------------------------------------------------------- |
44 | // For org and report mode | 40 | // For org and report mode |
45 | //---------------------------------------------------------- | 41 | //---------------------------------------------------------- |
46 | 42 | ||
47 | @r depends on org || report@ | 43 | @r@ |
48 | type T; | 44 | expression e; |
49 | position p; | 45 | position p; |
50 | @@ | 46 | @@ |
51 | 47 | ||
52 | (T@p *)\(kmalloc\|kzalloc\|kcalloc\)(...) | 48 | if (e) BUG@p (); |
53 | 49 | ||
54 | @script:python depends on org@ | 50 | @script:python depends on org@ |
55 | p << r.p; | 51 | p << r.p; |
56 | t << r.T; | ||
57 | @@ | 52 | @@ |
58 | 53 | ||
59 | coccilib.org.print_safe_todo(p[0], t) | 54 | coccilib.org.print_todo(p[0], "WARNING use BUG_ON") |
60 | 55 | ||
61 | @script:python depends on report@ | 56 | @script:python depends on report@ |
62 | p << r.p; | 57 | p << r.p; |
63 | t << r.T; | ||
64 | @@ | 58 | @@ |
65 | 59 | ||
66 | msg="WARNING: casting value returned by k[cmz]alloc to (%s *) is useless." % (t) | 60 | msg="WARNING: Use BUG_ON" |
67 | coccilib.report.print_report(p[0], msg) | 61 | coccilib.report.print_report(p[0], msg) |
62 | |||
diff --git a/scripts/coccinelle/null/badzero.cocci b/scripts/coccinelle/null/badzero.cocci index d79baf7220e7..5551da2b4fe3 100644 --- a/scripts/coccinelle/null/badzero.cocci +++ b/scripts/coccinelle/null/badzero.cocci | |||
@@ -10,7 +10,7 @@ | |||
10 | // Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2. | 10 | // Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2. |
11 | // Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. | 11 | // Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. |
12 | // URL: http://coccinelle.lip6.fr/ | 12 | // URL: http://coccinelle.lip6.fr/ |
13 | // Comments: | 13 | // Comments: Requires Coccinelle version 1.0.0-rc20 or later |
14 | // Options: | 14 | // Options: |
15 | 15 | ||
16 | virtual patch | 16 | virtual patch |
@@ -19,6 +19,7 @@ virtual org | |||
19 | virtual report | 19 | virtual report |
20 | 20 | ||
21 | @initialize:ocaml@ | 21 | @initialize:ocaml@ |
22 | @@ | ||
22 | let negtable = Hashtbl.create 101 | 23 | let negtable = Hashtbl.create 101 |
23 | 24 | ||
24 | @depends on patch@ | 25 | @depends on patch@ |