Le 01/03/2018 à 09:57, Dafna Hirschfeld a écrit :
Replace 'kmemdep' with 'kmemdup' in warning messages.
Signed-off-by: Dafna Hirschfeld
Acked-by: Julia Lawall
Acked-by: Nicolas Palix
---
scripts/coccinelle/api/memdup.cocci | 4 ++--
1 file changed, 2 insertions(+),
equires:" in order to avoid accidental matching to what just happens
to appear in comment lines.
Signed-off-by: Masahiro Yamada
Thanks for checking on this!
Acked-by: Julia Lawall
Acked-by: Nicolas Palix
---
scripts/coccicheck| 4 ++--
scripts/coccinelle/nul
sed is not a good choice here. Strip $srctree/ simply without sed.
Signed-off-by: Masahiro Yamada
Acked-by: Nicolas Palix
---
scripts/coccicheck | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/coccicheck b/scripts/coccicheck
index 1bfa2d2..9d18662 100755
--- a/sc
$COCCI | sed "s|^$srctree/||"`
echo "Processing `basename $COCCI`"
echo "with option(s) \"$OPT\""
--
Nicolas Palix
http://lig-membres.imag.fr/palix/
smime.p7s
Description: Signature cryptographique S/MIME
Le 09/08/16 à 01:34, Jonathan Corbet a écrit :
No textual changes have been made, but the formatting has obviously been
tweaked.
Cc: Michal Marek
Cc: Gilles Muller
Cc: Nicolas Palix
Cc: Julia Lawall
Signed-off-by: Jonathan Corbet
Acked-by: Nicolas Palix
---
.../{coccinelle.txt =>
last option that makes sense.
Signed-off-by: Luis R. Rodriguez
Acked-by: Nicolas Palix
---
scripts/coccicheck | 5 -
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/scripts/coccicheck b/scripts/coccicheck
index f137b04dfdd3..5319fae910b4 100755
--- a/scripts/coccicheck
+++ b
. Rodriguez
Acked-by: Julia Lawall
Acked-by: Nicolas Palix
---
scripts/coccinelle/iterators/device_node_continue.cocci | 3 +++
1 file changed, 3 insertions(+)
diff --git a/scripts/coccinelle/iterators/device_node_continue.cocci
b/scripts/coccinelle/iterators/device_node_continue.cocci
index
-off-by: Luis R. Rodriguez
Acked-by: Nicolas Palix
---
scripts/coccicheck | 14 ++
1 file changed, 14 insertions(+)
diff --git a/scripts/coccicheck b/scripts/coccicheck
index 998d764636e0..01b6716ea931 100755
--- a/scripts/coccicheck
+++ b/scripts/coccicheck
@@ -5,6 +5,7
-next version of the script.
#
# This script requires at least spatch
# version 1.0.0-rc11.
-#
DIR="$(dirname $(readlink -f $0))/.."
SPATCH="`which ${SPATCH:=spatch}`"
--
Nicolas Palix
http://lig-membres.imag.fr/palix/
smime.p7s
Description: Signature cryptographique S/MIME
e directory provided with the --dir option is processed last, if used
Signed-off-by: Luis R. Rodriguez
Acked-by: Nicolas Palix
---
.cocciconfig | 3 +++
.gitignore | 1 +
2 files changed, 4 insertions(+)
create mode 100644 .cocciconfig
diff --git a/.cocciconfig b/.cocciconfig
new
both modes
(parmap and non-parmap).
julia
--
Nicolas Palix
http://lig-membres.imag.fr/palix/
smime.p7s
Description: Signature cryptographique S/MIME
Le 21/06/16 à 21:21, Luis R. Rodriguez a écrit :
This has no functional changes. This is being done
to enable us to later use spatch binary for some
flag checking for certain features early on.
Signed-off-by: Luis R. Rodriguez
Acked-by: Nicolas Palix
---
scripts/coccicheck | 10
, rearrage the FLAGS for org or report mode.
This allows for overriding of the default --no-show-diff
option through SPFLAGS.
Signed-off-by: Deepa Dinamani
Cc: Julia Lawall
Cc: Gilles Muller
Cc: Nicolas Palix
Acked-By: Nicolas Palix
Cc: Michal Marek
---
scripts/coccicheck | 4 ++--
1 file changed
Le 16/05/16 14:55, Kees Cook a écrit :
> By default, "seq" counts from 1, but processes were starting counting
> from 0, so when interrupted, coccicheck would leave the 0th process
> running.
>
> Signed-off-by: Kees Cook
Acked-by: Nicolas Palix
> ---
> scri
ndi Kleen
>
> Useful to remove unneeded driver code when ethtool is disabled.
>
> The patches doing this are submitted too, but let's add
> the script too so people can re-use it.
>
> Cc: Julia Lawall
> Cc: Gilles Muller
> Cc: Nicolas Palix
> Signed-off-by: Andi
tual patch
>> virtual context
>
> ___
> Cocci mailing list
> co...@systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
--
Nicolas Palix
Tel: +33 4 76 51 46 27
http://membres-liglab.imag.fr/palix/
--
To unsubscribe fr
The naming convention of options has changed one year ago.
The options have been recently updated in the cocci file
and in scripts/coccicheck. This patch also adds this information
in the documentation.
Signed-off-by: Nicolas Palix
---
Documentation/coccinelle.txt | 19
Hi,
On Wed, Jul 3, 2013 at 3:36 PM, Michal Marek wrote:
> On 20.6.2013 13:10, Nicolas Palix wrote:
>> spatch has changed its option scheme.
>> E.g., --no_show_diff is now --no-show-diff
>>
>> This patch updates:
>> - scripts/coccicheck
>> - Semantic pat
On Wed, May 8, 2013 at 11:03 PM, wrote:
> Created coccinelle script for reporting missing pci_free_consistent() calls.
>
> Signed-off-by: Petr Strnad
Signed-off-by: Nicolas Palix
> ---
> diff --git a/scripts/coccinelle/free/pci_free_consistent.cocci
> b/scrip
- The new default mode is 'report'.
- The available modes are detailed a bit more.
- Some information about the use of spatch options are
also given concerning the use of indexing tools.
Signed-off-by: Nicolas Palix
---
v2: Fix typo reported by Sachin Kamat
Documentation/cocc
- The new default mode is 'report'.
- The available modes are detailed a bit more.
- Some information about the use of spatch options are
also given concerning the use of indexing tools.
Signed-off-by: Nicolas Palix
---
Documentation/coccinelle.
Add Documentation/coccinelle.txt in the COCCINELLE section.
Signed-off-by: Nicolas Palix
---
MAINTAINERS |1 +
1 file changed, 1 insertion(+)
diff --git a/MAINTAINERS b/MAINTAINERS
index 73b1b3a..2d94051 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -2103,6 +2103,7 @@ L:co
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
---
scripts/coccicheck | 28
On Tue, Jun 18, 2013 at 11:49 PM, Kees Cook wrote:
> This adds parallelism by default to the "coccicheck" target using
> spatch's "-max" and "-index" arguments.
>
> Signed-off-by: Kees Cook
Signed-off-by: Nicolas Palix
> ---
> v3:
>
Hi Kees,
This is indeed something that was on my TO-DO list! :)
Thank you a lot.
Could you consider merging with the following or
something equivalent for handling running spatch processes
when make is interrupted ?
For the resubmission, please add Michal Marek (in CC)
who will apply it to the m
ainline by
>> commits c515598e0f5769916c31c00392cc2bfe6af74e55 and
>> a816e3113b63753c330ca4751ea1d208e93e3015.
>>
>> This is to be fixed in longterm 2.6.32.60 and 3.4.47.
>> This bug has been found with coccinelle.
>>
>> Signed-off-by: Lotfi Manseur
>> Signed-o
It appears that the 'report' mode is the one always
provided by the semantic patches included in the kernel.
It is thus more natural to select it by default.
The 'chain' mode is however kept and the 'patch' mode
is still the first tried in that case.
Signed-off-by
Add Michal Marek and the misc branch of the kbuild tree
in the Coccinelle section of MAINTAINERS.
Signed-off-by: Nicolas Palix
---
MAINTAINERS | 2 ++
1 file changed, 2 insertions(+)
diff --git a/MAINTAINERS b/MAINTAINERS
index 3d7782b..73b1b3a 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
/Semantic Patches (SmPL)
M: Julia Lawall
M: Gilles Muller
M: Nicolas Palix
+M: Michal Marek
L: co...@systeme.lip6.fr (moderated for non-subscribers)
+T: git git://git.kernel.org/pub/scm/linux/kernel/git/mmarek/kbuild.git misc
W: http://coccinelle.lip6.fr/
S
It appears that the 'report' mode is the one always
provided by the semantic patches included in the kernel.
It is thus more natural to select it by default.
The 'chain' mode is however kept and the 'patch' mode
is still the first tried in that case.
---
scripts/coccicheck | 14 +++---
1
.
Signed-off-by: Nicolas Palix
---
scripts/coccicheck | 25 +
1 file changed, 13 insertions(+), 12 deletions(-)
diff --git a/scripts/coccicheck b/scripts/coccicheck
index 7f0d6a6..cdde8e0 100755
--- a/scripts/coccicheck
+++ b/scripts/coccicheck
@@ -1,4 +1,4 @@
-#!/bin/sh
The SPFLAGS variable allows to pass additional options
to spatch, e.g. -use_glimpse.
Signed-off-by: Nicolas Palix
---
Documentation/coccinelle.txt | 11 ++-
scripts/coccicheck |2 +-
2 files changed, 11 insertions(+), 2 deletions(-)
diff --git a/Documentation
A recent patch have introduce the VERBOSE variable and comments
now depend on it. However, the message printed for each cocci file
such not be printed when the ONLINE mode is active, whatever is
the value of VERBOSE.
Signed-off-by: Nicolas Palix
---
scripts/coccicheck |2 +-
1 file changed
When the M variable is used, the -patch option should be given
to spatch. This patch fixes the case where C is used.
Signed-off-by: Nicolas Palix
---
scripts/coccicheck |6 +-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/scripts/coccicheck b/scripts/coccicheck
index
uted command line is being
> shown.
>
> Signed-off-by: Bernd Schubert
> CC: Julia Lawall
> CC: Nicolas Palix
Acked-by: Nicolas Palix
> CC: co...@systeme.lip6.fr
> CC: Michal Marek
> ---
> scripts/coccicheck | 28 +---
> 1 file changed, 21
t;
> Signed-off-by: Bernd Schubert
> CC: Julia Lawall
> CC: Nicolas Palix
Acked-by: Nicolas Palix
> CC: co...@systeme.lip6.fr
> CC: Michal Marek
> ---
> Documentation/coccinelle.txt |4
> scripts/coccicheck | 11 ++-
> 2 files changed, 14
Hi,
On Tue, Jan 22, 2013 at 4:05 PM, Bernd Schubert
wrote:
> Hello Nicolas,
>
>
> On 01/22/2013 03:31 PM, Nicolas Palix wrote:
>>
>> Hi,
>>
>> Thank you Bernd for your proposition.
>>
>> I added Michal in CC, who is responsible for the integrati
and warnings
> might not be noticed. Allow the user to set the verbosity level.
>
>
> Signed-off-by: Bernd Schubert
> CC: Julia Lawall
> CC: Nicolas Palix
> CC: co...@systeme.lip6.fr
> ---
> scripts/coccicheck |8 +++-
> 1 file changed, 7 insertions
option allows to preserve all gcc options, e.g. -I,
while checking code. Other gcc-specific options are
discarded by spatch.
The support for external modules is also added.
Signed-off-by: Nicolas Palix
---
scripts/coccicheck | 16
1 file changed, 8 insertions(+), 8 deletions
Hi,
On Thu, Oct 11, 2012 at 3:34 PM, Michal Marek wrote:
> On Thu, Sep 20, 2012 at 10:30:46PM +0200, Nicolas Palix wrote:
>> This adds a 'rep+ctxt' mode which prints the warning
>> message followed by the context.
>>
>> Signed-off-by: Nicolas Palix
>&g
40 matches
Mail list logo
