update Coccinelle URLSigned-off-by: Julia Lawall <Julia.Lawall@inria.fr>
treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 505Based on 1 normalized pattern(s): gplv2extracted by the scancode license scanner the SPDX license identifier GPL-2.0-only
treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 505Based on 1 normalized pattern(s): gplv2extracted by the scancode license scanner the SPDX license identifier GPL-2.0-onlyhas been chosen to replace the boilerplate/reference in 58 file(s).Signed-off-by: Thomas Gleixner <tglx@linutronix.de>Reviewed-by: Enrico Weigelt <info@metux.net>Reviewed-by: Allison Randal <allison@lohutok.net>Reviewed-by: Kate Stewart <kstewart@linuxfoundation.org>Cc: linux-spdx@vger.kernel.orgLink: https://lkml.kernel.org/r/20190604081207.556988620@linutronix.deSigned-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
show more ...
Coccinelle: doubletest: reduce side effect false positivesEnsure that the cited expression is not a function call or anassignment to reduce the chance of false positives.Slightly modify the warn
Coccinelle: doubletest: reduce side effect false positivesEnsure that the cited expression is not a function call or anassignment to reduce the chance of false positives.Slightly modify the warning message to indicate another sourceof false positves.Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
coccinelle: tests: unsigned value cannot be lesser than zeroUnsigned expressions cannot be lesser than zero. Presence of comparisons'unsigned (<|<=|>|>=) 0' often indicates a bug, usually wrong ty
coccinelle: tests: unsigned value cannot be lesser than zeroUnsigned 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 warnsalso 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.cocciThe original version only considered the case where the then branchcontains only one call to PTR_ERR. Reimplement the whole thing to allowmultiple cal
coccinelle: tests: improve odd_ptr_err.cocciThe original version only considered the case where the then branchcontains only one call to PTR_ERR. Reimplement the whole thing to allowmultiple 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 schemespatch has changed its option scheme.E.g., --no_show_diff is now --no-show-diffThis patch updates: - scripts/coccicheck - Semantic p
Coccinelle: Update the options used to the new option schemespatch has changed its option scheme.E.g., --no_show_diff is now --no-show-diffThis 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 inconsistencySigned-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.Signed-off-by: Julia Lawall <julia@diku.dk>Signed-off-by: Nicolas Palix <npalix.work@gmail.com>Signed-off-by: Michal Marek <mmarek@s
Coccinelle: Find doubled arguments to boolean or bit operators.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>