linux-toradex.git/scripts/coccinelle/tests, branch v4.9.62 Linux kernel for Apalis and Colibri modules coccinelle: tests: unsigned value cannot be lesser than zero 2016-01-12T16:47:47+00:00 Andrzej Hajda a.hajda@samsung.com 2016-01-07T09:36:51+00:00 3f984cb39907f87515d83657ecd471ae396a6c4a Unsigned expressions cannot be lesser than zero. Presence of comparisons 'unsigned (<|<=|>|>=) 0' often indicates a bug, usually wrong type of variable. The patch beside finding such comparisons tries to eliminate false positives, mainly by bypassing range checks. gcc can detect such comparisons also using -Wtype-limits switch, but it warns also in correct cases, making too much noise. Signed-off-by: Andrzej Hajda <a.hajda@samsung.com> Acked-by: Julia Lawall <julia.lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.com> 
Unsigned expressions cannot be lesser than zero. Presence of comparisons
'unsigned (<|<=|>|>=) 0' often indicates a bug, usually wrong type of variable.
The patch beside finding such comparisons tries to eliminate false positives,
mainly by bypassing range checks.

gcc can detect such comparisons also using -Wtype-limits switch, but it warns
also in correct cases, making too much noise.

Signed-off-by: Andrzej Hajda <a.hajda@samsung.com>
Acked-by: Julia Lawall <julia.lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.com>
coccinelle: tests: improve odd_ptr_err.cocci 2015-10-26T19:54:28+00:00 Julia Lawall Julia.Lawall@lip6.fr 2015-08-30T20:18:14+00:00 02da7b42777c159c6897e233e6c53d5581c07dab The original version only considered the case where the then branch contains only one call to PTR_ERR. Reimplement the whole thing to allow multiple calls, with potentially different arguments. Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 
The original version only considered the case where the then branch
contains only one call to PTR_ERR.  Reimplement the whole thing to allow
multiple calls, with potentially different arguments.

Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Coccinelle: Update the options used to the new option scheme 2013-07-03T20:58:13+00:00 Nicolas Palix nicolas.palix@imag.fr 2013-06-20T11:10:56+00:00 93f14468491747d6d3efd0b3a42785b1d51a127a spatch has changed its option scheme. E.g., --no_show_diff is now --no-show-diff This patch updates: - scripts/coccicheck - Semantic patches under scripts/coccinelle/ Signed-off-by: Nicolas Palix <nicolas.palix@imag.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 
spatch has changed its option scheme.
E.g., --no_show_diff is now --no-show-diff

This patch updates:
 - scripts/coccicheck
 - Semantic patches under scripts/coccinelle/

Signed-off-by: Nicolas Palix <nicolas.palix@imag.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
scripts/coccinelle/tests/odd_ptr_err.cocci: semantic patch for IS_ERR/PTR_ERR inconsistency 2012-10-11T12:50:51+00:00 Julia Lawall Julia.Lawall@lip6.fr 2012-08-25T20:42:45+00:00 e8fa600e066f137ef5810a2a5021530d68f34ac9 Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Coccinelle: Find doubled arguments to boolean or bit operators. 2010-10-27T22:32:23+00:00 Julia Lawall julia@diku.dk 2010-10-24T21:37:32+00:00 97c1cf8fdbce332bfacc3e38aae3fe2af1369906 Signed-off-by: Julia Lawall <julia@diku.dk> Signed-off-by: Nicolas Palix <npalix.work@gmail.com> Signed-off-by: Michal Marek <mmarek@suse.cz> 
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Nicolas Palix <npalix.work@gmail.com>
Signed-off-by: Michal Marek <mmarek@suse.cz>